Skip to content
Nix CI for bundle 8.19

Cleanup some proofs (#1407) #60

Sign in to view logs

Cleanup some proofs (#1407)

Cleanup some proofs (#1407) #60

Triggered via push November 27, 2024 02:42
@IshiguroYoshihiroIshiguroYoshihiro
pushed 7c12c63
master
Status Success
Total duration 18m 14s
Artifacts –

nix-action-8.19.yml

on: push
coq
35s
coq
mathcomp-classical
41s
mathcomp-classical
mathcomp
40s
mathcomp
mathcomp-analysis-single
17m 20s
mathcomp-analysis-single
mathcomp-reals
36s
mathcomp-reals
mathcomp-analysis
35s
mathcomp-analysis
mathcomp-reals-stdlib
40s
mathcomp-reals-stdlib
mathcomp-experimental-reals
1m 55s
mathcomp-experimental-reals
mathcomp-analysis-stdlib
36s
mathcomp-analysis-stdlib
Fit to window
Zoom out
Zoom in