Verification run

Run 1184

promachina/iut-lean branch master triggered via poller
queued commit 185f674a93bd queued 1d ago
Open project

This run is still queued. Wait for it to start before rerunning.

Semantic extraction

No semantic extraction telemetry recorded for this job yet.

Workflow timeline

No workflow steps have been recorded for this job yet.

Github checks

No Github check run linked yet. This appears when the repository is Github-connected and the worker has published queue, running, and completion check updates.

Keyboard shortcuts