Skip to content
Rocq

Instrument after preproccessing #60

Sign in to view logs

Instrument after preproccessing

Instrument after preproccessing #60

Triggered via pull request April 28, 2025 04:06
@ZippeyKeys12ZippeyKeys12
synchronize #111
ZippeyKeys12:instrument-after-preproc-3
Status Cancelled
Total duration 8m 47s
Artifacts –

rocq.yml

on: pull_request
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

2 errors
build (5.2.0)
Canceling since a higher priority waiting request for 'ci-Rocq-refs/pull/111/merge' exists
build (5.2.0)
The operation was canceled.