Skip to content
Nix CI for bundle 8.18

Clean up the Require Import lists #16

Sign in to view logs

Clean up the Require Import lists

Clean up the Require Import lists #16

Run time

Learn about OS pricing on GitHub Actions
Job Run time
coq
34s
mathcomp-finmap
34s
mathcomp
35s
mathcomp-bigenough
40s
mathcomp-zify
38s
mathcomp-real-closed
2m 34s
multinomials
35s
mathcomp-algebra-tactics
33s
coqeal
3m 26s
mathcomp-abel
2m 52s
mathcomp-apery
9m 13s
22m 14s