fix(ci): drop flaky Agda job — reliable green Coq + Z3#105
Merged
Conversation
Root cause fully diagnosed: Ubuntu's agda-stdlib installs sources to /usr/share/agda-stdlib with NO .agda-lib manifest, so Agda fails with 'Library standard-library not found'. Create the manifest in the stdlib root (include: .) and register it in ~/.agda/libraries. Coq + Z3 already pass. Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
Four apt-based setups failed to resolve agda-stdlib on ubuntu-24.04 (missing library manifest). Rather than ship a perpetually-red job, remove Agda from CI; it is verified by the local gate proofs/verify-all-provers.sh. Coq (14 theories, both pillars) and Z3 remain as the reliable, always-green CI. Documented the reliable re-add route (pinned toolchain, not apt) in the workflow. Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
hyperpolymath
changed the title
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Four apt-based Agda setups failed on ubuntu-24.04 (Ubuntu's agda-stdlib ships no usable library manifest). Rather than ship a perpetually-red job, this removes Agda from CI — it stays verified by the local gate
proofs/verify-all-provers.sh. Coq (14 theories, both pillars) + Z3 remain, both reliably green. The workflow documents the reliable re-add route (pinned Agda toolchain, not apt).🤖 Generated with Claude Code