Skip to content

docs: record the agda-cicd.yml removal in .github/ISSUE.md - #9

Merged
hyperpolymath merged 1 commit into
mainfrom
docs/issue-md-agda-cicd
Oct 6, 2026
Merged

docs: record the agda-cicd.yml removal in .github/ISSUE.md#9
hyperpolymath merged 1 commit into
mainfrom
docs/issue-md-agda-cicd

Commits

  1. Commits on Oct 6, 2026