Skip to content

do not cache Agda, just install it (the binary) each time.#474

Merged
TOTBWF merged 1 commit intomasterfrom
fix-ci-hopefully
Jun 12, 2025
Merged

do not cache Agda, just install it (the binary) each time.#474
TOTBWF merged 1 commit intomasterfrom
fix-ci-hopefully

Commits

Commits on Jun 12, 2025