Verification run

Run 235

promachina/iut-leanbranch mastertriggered via poller
failedcommit d2aa898898caprover unknowntook 0s · finished 14w ago
Open project

Semantic extraction

No semantic extraction telemetry recorded for this job yet.

Workflow timeline

1 workflow
  1. build verificationrun #235
    failed
    started finished

    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