fix: resolve repository issues, port Lean FilesystemCNO, and unify Coq tags #186
Triggered via pull request
September 26, 2026 19:50
arena-ai-coding-agent[bot]
Status
Success
Total duration
6m 40s
Artifacts
–
Annotations
1 notice
|
PR (address)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
|