Skip to content
Proof PR

Monads: improve style and consistency of nondet and trace #2591

Sign in to view logs

Monads: improve style and consistency of nondet and trace

Monads: improve style and consistency of nondet and trace #2591

Triggered via pull request October 5, 2023 04:35
@corlewiscorlewis
synchronize #672
Status Cancelled
Total duration 1h 12m 49s
Artifacts 1

proof.yml

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

Annotations

4 errors
All (ARM)
Canceling since a higher priority waiting request for 'l4v-pr-672-idx-0' exists
All (ARM_HYP)
Canceling since a higher priority waiting request for 'l4v-pr-672-idx-1' exists
All (X64)
Canceling since a higher priority waiting request for 'l4v-pr-672-idx-4' exists
All (RISCV64)
Canceling since a higher priority waiting request for 'l4v-pr-672-idx-3' exists

Artifacts

Produced during runtime
Name Size
logs-AARCH64 Expired
54.2 MB