Skip to content

Add sorted_ipc_queues invariant #3117

Add sorted_ipc_queues invariant

Add sorted_ipc_queues invariant #3117

Triggered via pull request December 12, 2024 07:30
@michaelmcinerneymichaelmcinerney
synchronize #836
Status Failure
Total duration 2h 47m 11s
Artifacts 1

proof.yml

on: pull_request_target
Matrix: MCS
Fit to window
Zoom out
Zoom in

Annotations

1 error and 2 warnings
MCS (RISCV64)
Action aws-proofs failed.
MCS (ARM)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
MCS (RISCV64)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

Artifacts

Produced during runtime
Name Size
logs-ARM
103 MB