Skip to content
Agda

Add headline-theorem smoke gate and graduate next-questions to roadmap #8

Sign in to view logs

Add headline-theorem smoke gate and graduate next-questions to roadmap

Add headline-theorem smoke gate and graduate next-questions to roadmap #8

Triggered via push April 18, 2026 23:53
@hyperpolymathhyperpolymath
pushed 0938b46
main
Status Success
Total duration 5h 19m 35s
Artifacts –

agda.yml

on: push
check
1m 11s
check
Fit to window
Zoom out
Zoom in