From 6414dbdf1c521ebb8f4d41b065d274fcfa9ca1b9 Mon Sep 17 00:00:00 2001 From: "Jonathan D.A. Jewell" <6759885+hyperpolymath@users.noreply.github.com> Date: Tue, 6 Oct 2026 11:28:48 +0100 Subject: [PATCH] docs: record the agda-cicd.yml removal in .github/ISSUE.md Follow-up to #8, which deleted .github/workflows/agda-cicd.yml. The resolution checklist still listed that file as added, so a reader was pointed at a workflow that no longer exists. Strike the line and say what replaced it: the proofs job in .github/workflows/ci.yml (proofs/check.sh, Debian-pinned Agda 2.6.4.3), which is green on main. This edit was written alongside #8 and missed its final commit. Co-Authored-By: Claude Fable 5.1 Claude-Session: https://claude.ai/code/session_01AjVQUkziVYywrLNsbPordh --- .github/ISSUE.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/ISSUE.md b/.github/ISSUE.md index 49a06c7..f9e67bd 100644 --- a/.github/ISSUE.md +++ b/.github/ISSUE.md @@ -21,7 +21,7 @@ not yet in `src/`). - [x] `Project.toml` added description field. - [x] `src/CompositionalDA.jl` docstring updated. - [x] `docs/R-SUNSET.md` criterion text updated. -- [x] `.github/workflows/agda-cicd.yml` added (catalogue reference). +- [x] ~~`.github/workflows/agda-cicd.yml` added (catalogue reference).~~ Removed 2026-10-06: the catalogue workflow it called (`standards/.github/workflows/echidna-verify.yml`) declares no `workflow_call` trigger, so every run died at startup with zero jobs (run 37231048694). The `proofs` job in `.github/workflows/ci.yml` (`proofs/check.sh`, Debian-pinned Agda 2.6.4.3) is the repo's proof gate and is green. - [x] This issue file created with resolution criteria. **No axiomatic claims made.** All statements verified against the current tree