fix(ci): repair the Coq gate on main — coqc not found (#711) · hyperpolymath/affinescript@7f6cb79

Triggered via push August 3, 2026 13:15

main

Status Cancelled

Total duration 29m 15s

Artifacts –

casket-pages.yml

on: push

2 errors and 1 notice

The job has exceeded the maximum execution time of 10m0s

The operation was canceled.

Pages enabled — proceeding with build + deploy