Skip to content
Nix CI for bundle master

coqutil 0.0.5/0.0.6 (#275) #919

Sign in to view logs

coqutil 0.0.5/0.0.6 (#275)

coqutil 0.0.5/0.0.6 (#275) #919

Run time

Learn about OS pricing on GitHub Actions
Job Run time
coq
4m 10s
coq-shell
1m 2s
5m 12s