ci(agda): pin the Agda proofs job to ubuntu-24.04 - #445

ci(agda): pin the Agda proofs job to ubuntu-24.04#445

hyperpolymath merged 4 commits into

mainhyperpolymath/echidna:mainfrom

claude/zen-brahmagupta-opqqle-agda-pinhyperpolymath/echidna:claude/zen-brahmagupta-opqqle-agda-pinCopy head branch name to clipboard