Skip to content
Nix CI for bundle 8.20

Fix sed commands for MacOS #6

Sign in to view logs

Fix sed commands for MacOS

Fix sed commands for MacOS #6

Run time

Learn about OS pricing on GitHub Actions
Job Run time
coq
1s
fourcolor
1s
2s