e2e.yml

# 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."