Skip to content
Nix CI for bundle 8.18

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-bigenough
32s
mathcomp
38s
mathcomp-zify
1m 39s
mathcomp-finmap
1m 30s
mathcomp-real-closed
2m 31s
multinomials
2m 16s
mathcomp-algebra-tactics
1m 25s
mathcomp-abel
2m 52s
coqeal
3m 18s
mathcomp-apery
7m 4s
24m 30s