Repository navigation

ci: remove the agda-cicd catalogue gate that could never start - #8

Merged

hyperpolymath merged 1 commit into

mainfrom

chore/drop-agda-cicd

Oct 6, 2026

Merged

ci: remove the agda-cicd catalogue gate that could never start#8
hyperpolymath merged 1 commit into
mainfrom
chore/drop-agda-cicd

Commits on Oct 6, 2026
- ci: remove the agda-cicd catalogue gate that could never start
  
  hyperpolymath
  and
  claude
  committed
  f98710f