Verification run

Run 1206

promachina/iut-leanbranch mastertriggered via poller

cancelledcommit 5c48653111f4took 26m · finished 6w ago

cancelled by apodeixis-ops: restart on deployed release 36cd7f625adbce77fec6b2f469c12276a90c5e14; this attempt was pinned to previous release 6de205a78b204319223a1e840f1f31c4223d2489

Open project

Semantic extraction

No semantic extraction telemetry recorded for this job yet.

Workflow timeline

1 workflow

build verificationrun #1206
running
started 7/31/2026, 11:31:48 AMfinished in flight
1. verifyrunning
  attempts 1
  Attempts
  1. running#17/31/2026, 11:31:48 AMin flight

Github checks

Check run id: 91099249657
Name: Apodeixis Verification
Status: completed
Conclusion: cancelled

Open on Github Open details URL