Skip to content
Nix CI for bundle 8.19

Clean up the Require Import lists #19

Sign in to view logs

Clean up the Require Import lists

Clean up the Require Import lists #19

Run time

Learn about OS pricing on GitHub Actions
Job Run time
coq
45s
mathcomp
39s
mathcomp-finmap
1m 21s
mathcomp-bigenough
36s
mathcomp-zify
1m 35s
mathcomp-real-closed
2m 27s
multinomials
2m 4s
mathcomp-algebra-tactics
1m 24s
coqeal
3m 14s
mathcomp-abel
2m 54s
mathcomp-apery
6m 46s
23m 45s