Skip to content
Proof PR

Use projections in schedulable #3189

Sign in to view logs

Use projections in schedulable

Use projections in schedulable #3189

Triggered via pull request February 26, 2025 04:21
@michaelmcinerneymichaelmcinerney
synchronize #855
Status Cancelled
Total duration 43s
Artifacts –

proof.yml

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

Annotations

2 errors
MCS (RISCV64)
The run was canceled by @michaelmcinerney.
MCS (ARM)
The run was canceled by @michaelmcinerney.