zenoh-pico: update to correct dev/1.0.0-px4 branch which is advertised by GitHub #24846
Job | Run time |
---|---|
1m 0s | |
1m 26s | |
5m 40s | |
7m 9s | |
3m 15s | |
1m 1s | |
1m 34s | |
4m 18s | |
3m 21s | |
4m 16s | |
1m 4s | |
1m 5s | |
1m 3s | |
36m 12s |
Job | Run time |
---|---|
1m 0s | |
1m 26s | |
5m 40s | |
7m 9s | |
3m 15s | |
1m 1s | |
1m 34s | |
4m 18s | |
3m 21s | |
4m 16s | |
1m 4s | |
1m 5s | |
1m 3s | |
36m 12s |