docs: refresh state after 2026-06-02 post-merge sweep #7
hyperpolymathidris-verification.yml
on: pull_request
verify-idris2 (Idris2 build oracle)
30s
Annotations
2 errors and 1 warning
|
verify-idris2 (Idris2 build oracle)
Process completed with exit code 1.
|
|
verify-idris2 (Idris2 build oracle)
Process completed with exit code 2.
|
|
verify-idris2 (Idris2 build oracle)
No files were found with the provided path: proofs/idris2/idris2-build.log. No artifacts will be uploaded.
|