Skip to content

ci: refresh standards reusable pins to current HEAD (d7c2271) (#74) #170

ci: refresh standards reusable pins to current HEAD (d7c2271) (#74)

ci: refresh standards reusable pins to current HEAD (d7c2271) (#74) #170

Workflow file for this run

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