ci: wire the formal/ Coq proof gate into CI (Refs #513) (#709) · hyperpolymath/affinescript@ed4e223

Triggered via push July 28, 2026 18:29

main

Status Cancelled

Total duration 20m 29s

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