Skip to content
Rocq

Instrument after preproccessing #68

Sign in to view logs

Instrument after preproccessing

Instrument after preproccessing #68

Triggered via pull request April 28, 2025 18:45
@ZippeyKeys12ZippeyKeys12
synchronize #111
ZippeyKeys12:instrument-after-preproc-3
Status Success
Total duration 21m 40s
Artifacts –

rocq.yml

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