ci: refresh standards reusable pins to current HEAD (d7c2271) (#74) #170
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
| # SPDX-License-Identifier: MPL-2.0 | |
| # Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk> | |
| # | |
| # nextgen-typing is a COORDINATION repo — it has no application/compiler code | |
| # to exercise end-to-end (see AGENTS.md / .machine_readable/bot_directives/placement.a2ml). | |
| # The estate E2E template ships with every job commented out, which leaves | |
| # `jobs:` empty and makes the workflow invalid, so it failed on every run. | |
| # This is a valid no-op that passes; per-project E2E lives in the constituent | |
| # repos (typell, typed-wasm, ...). | |
| name: E2E + Aspect + Bench | |
| on: | |
| push: | |
| branches: [main, master, develop] | |
| pull_request: | |
| branches: [main, master] | |
| workflow_dispatch: | |
| permissions: | |
| contents: read | |
| concurrency: | |
| group: e2e-${{ github.ref }} | |
| cancel-in-progress: true | |
| jobs: | |
| e2e: | |
| name: E2E (coordination repo — nothing to exercise) | |
| runs-on: ubuntu-latest | |
| timeout-minutes: 5 | |
| steps: | |
| - name: No application code to test | |
| run: | | |
| echo "nextgen-typing coordinates the type-theory pipeline; it holds no" | |
| echo "compiler/application code. End-to-end, aspect, and benchmark tests" | |
| echo "live in the owning repos (typell, typed-wasm, ...)." | |
| echo "See .machine_readable/bot_directives/placement.a2ml." |