Merge branch 'develop' into multi-message-Storage

This commit is contained in:
HarukiToreda 2025-10-06 16:00:09 -04:00 committed by GitHub
commit cb8a8a2c52
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -40,7 +40,7 @@ jobs:
- name: Integration test
run: |
.pio/build/coverage/program &
.pio/build/coverage/program -s &
PID=$!
timeout 20 bash -c "until ls -al /proc/$PID/fd | grep socket; do sleep 1; done"
echo "Simulator started, launching python test..."