Skip to content
Nix CI for bundle 8.19

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
37s
mathcomp-zify
33s
mathcomp-bigenough
39s
mathcomp
36s
mathcomp-finmap
34s
mathcomp-algebra-tactics
36s
multinomials
34s
mathcomp-real-closed
2m 27s
coqeal
3m 14s
mathcomp-abel
2m 49s
mathcomp-apery
9m 57s
22m 36s