Skip to content
Nix CI for bundle 8.17

Clean up the Require Import lists #37

Sign in to view logs

Clean up the Require Import lists

Clean up the Require Import lists #37

Run time

Learn about OS pricing on GitHub Actions
Job Run time
coq
49s
mathcomp-finmap
3m 39s
mathcomp
14m 24s
mathcomp-bigenough
3m 26s
mathcomp-zify
8m 11s
multinomials
6m 26s
mathcomp-real-closed
16m 30s
mathcomp-algebra-tactics
1m 53s
coqeal
3m 28s
mathcomp-abel
7m 0s
mathcomp-apery
7m 10s
1h 12m 56s