Skip to content

[review] address feedback

9744238
Select commit
Loading
Failed to load commit list.
Open

[ddmd] add --no-state-machine flag for test fixtures and Linux build #729

[review] address feedback
9744238
Select commit
Loading
Failed to load commit list.
buildomat / test-proptest succeeded May 8, 2026 in 13m 50s

Success!

The buildomat job ID is 01KR2HJBRNTE7FP5XKPEK64XXA. Click here for more detailed status.

The requested job was completed.

Details

control: job assigned to worker 01KR2HJTAE9T3WBJSWAAE6447K [factory aws, i-06f63eeb6cc645335] (queued for 1 m 7 s)
...
task: starting task 0: "setup"
task: process exited: duration 4103 ms, exit code 0
...
task: starting task 1: "rust-toolchain"
task: process exited: duration 16045 ms, exit code 0
...
task: starting task 2: "authentication"
task: process exited: duration 16 ms, exit code 0
...
task: starting task 3: "clone repository"
task: process exited: duration 1116 ms, exit code 0
...
task: starting task 4: "build"
...
|         PASS [  18.985s] bgp proptest::prop_nexthop_ipv6_double_via_mp_reach
|         SLOW [> 60.000s] bgp proptest::prop_encode_decode_semantic_equivalence
|         PASS [  27.973s] bgp proptest::prop_update_mp_unreach_roundtrip
|         PASS [  65.476s] bgp proptest::prop_encode_decode_semantic_equivalence
|         SLOW [> 60.000s] bgp proptest::prop_mp_bgp_attrs_encoded_first
|         PASS [  68.086s] bgp proptest::prop_mp_bgp_attrs_encoded_first
|         SLOW [> 60.000s] bgp proptest::prop_update_mp_reach_roundtrip
|         SLOW [> 60.000s] bgp proptest::prop_update_traditional_roundtrip
|         PASS [  60.387s] bgp proptest::prop_update_traditional_roundtrip
|         PASS [  71.779s] bgp proptest::prop_update_mp_reach_roundtrip
| ────────────
|      Summary [ 100.209s] 17 tests run: 17 passed (4 slow), 133 skipped
| + cp '*.log' /work/
| + true
| + '[' -d proptest-regressions ']'
| + cp -r proptest-regressions /work/bgp-proptest-regressions
| + popd
| /work/oxidecomputer/maghemite
task: process exited: duration 709174 ms, exit code 0
|W| found 0 output files