Skip to content

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

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

f98710f
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar