Skip to content

Merge branch 'main' into trey/map_cleanup

e13def2
Select commit
Loading
Failed to load commit list.
Open

happy maps #682

Merge branch 'main' into trey/map_cleanup
e13def2
Select commit
Loading
Failed to load commit list.
buildomat / test-proptest succeeded Mar 30, 2026 in 17m 10s

Success!

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

The requested job was completed.

Details

control: job assigned to worker 01KMZVGBKP6DMWTG83PKWQKXXW [factory aws, i-0ec19d134956d4b53] (queued for 3 m 50 s)
...
task: starting task 0: "setup"
task: process exited: duration 4150 ms, exit code 0
...
task: starting task 1: "rust-toolchain"
task: process exited: duration 17279 ms, exit code 0
...
task: starting task 2: "authentication"
task: process exited: duration 19 ms, exit code 0
...
task: starting task 3: "clone repository"
task: process exited: duration 1075 ms, exit code 0
...
task: starting task 4: "build"
...
|         PASS [  18.481s] bgp proptest::prop_nexthop_ipv6_single_via_mp_reach
|         SLOW [> 60.000s] bgp proptest::prop_encode_decode_semantic_equivalence
|         PASS [  27.885s] bgp proptest::prop_update_mp_unreach_roundtrip
|         PASS [  66.350s] bgp proptest::prop_encode_decode_semantic_equivalence
|         SLOW [> 60.000s] bgp proptest::prop_mp_bgp_attrs_encoded_first
|         PASS [  68.334s] 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.615s] bgp proptest::prop_update_traditional_roundtrip
|         PASS [  71.970s] bgp proptest::prop_update_mp_reach_roundtrip
| ────────────
|      Summary [ 108.237s] 18 tests run: 18 passed (4 slow), 132 skipped
| + cp '*.log' /work/
| + true
| + '[' -d proptest-regressions ']'
| + cp -r proptest-regressions /work/bgp-proptest-regressions
| + popd
| /work/oxidecomputer/maghemite
task: process exited: duration 733629 ms, exit code 0
|W| found 0 output files