Skip to content
Agda

E5: make ν operational and add Buchholz example/smoke modules #43

Sign in to view logs

E5: make ν operational and add Buchholz example/smoke modules

E5: make ν operational and add Buchholz example/smoke modules #43

Run time

Learn about OS pricing on GitHub Actions
Job Run time
check
1m 47s
1m 47s