Skip to content
Nix CI for bundle 8.17

consistently use #[local] instead of Local (#62) #19

Sign in to view logs

consistently use #[local] instead of Local (#62)

consistently use #[local] instead of Local (#62) #19

Run time

Learn about OS pricing on GitHub Actions
Job Run time
coq
29s
reglang
28s
mathcomp
37s
1m 34s