Skip to content
Agda

ci(agda): install absolute-zero + fix ModeGrade typo so the suite typ… #222

Sign in to view logs

ci(agda): install absolute-zero + fix ModeGrade typo so the suite typ…

ci(agda): install absolute-zero + fix ModeGrade typo so the suite typ… #222

Triggered via push May 1, 2026 00:54
@hyperpolymathhyperpolymath
pushed a9d3927
main
Status Success
Total duration 3m 3s
Artifacts –

agda.yml

on: push
check
2m 53s
check
Fit to window
Zoom out
Zoom in