Bump CI to agda-2.8 and stdlib-2.3 #601
Triggered via pull request
November 14, 2025 20:05
andreasabel
Status
Success
Total duration
15m 57s
Artifacts
–
ci-ubuntu.yml
on: pull_request
test-categories
15m 52s