Repository navigation
ci(agda): pin the Agda proofs job to ubuntu-24.04 #864
Workflow file for this run
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| # This workflow is managed by gh actions-lock. | |
| # SPDX-License-Identifier: MPL-2.0 | |
| # This workflow is managed by gh actions-lock. | |
| # This workflow is managed by gh actions-lock. | |
| # This workflow is managed by gh actions-lock. | |
| # Estate SPARK Theatre Gate — thin caller of the reusable workflow in | |
| # hyperpolymath/standards (#135 / #141). Pinned by commit SHA per the | |
| # estate action-pinning policy. Regenerate the pin only when the reusable | |
| # workflow is intentionally bumped. | |
| name: SPARK Theatre Gate | |
| on: | |
| pull_request: | |
| push: | |
| branches: [main, master] | |
| permissions: | |
| actions: read | |
| contents: read | |
| jobs: | |
| spark-theatre-gate: | |
| uses: hyperpolymath/standards/.github/workflows/spark-theatre-gate.yml@3c00687a5bbd0d881d351db8502417b5d0a8b0b0 # main 2026-10-20, standards#1315 hypatia-ref aa34a4cc (lockfile-bearing ref: actions.lock required by caller-side enforcement, standards#570) | |
| with: | |
| paths: "." | |
| enforce_zero_contract: false |