Skip to content
Nix CI for bundle coq-master

Merge pull request #682 from ppedrot/fast-namegen-detyping #240

Sign in to view logs

Merge pull request #682 from ppedrot/fast-namegen-detyping

Merge pull request #682 from ppedrot/fast-namegen-detyping #240

Triggered via push September 2, 2024 08:50
@garesgares
pushed 61db29b
master
Status Success
Total duration 43m 11s
Artifacts –

nix-action-coq-master.yml

on: push
coq
4m 12s
coq
coq-elpi
1m 34s
coq-elpi
hierarchy-builder
4m 46s
hierarchy-builder
mathcomp-ssreflect
3m 19s
mathcomp-ssreflect
mathcomp-fingroup
1m 46s
mathcomp-fingroup
mathcomp-bigenough
1m 14s
mathcomp-bigenough
mathcomp-finmap
1m 22s
mathcomp-finmap
mathcomp-algebra
2m 53s
mathcomp-algebra
mathcomp-solvable
2m 42s
mathcomp-solvable
mathcomp-classical
2m 29s
mathcomp-classical
mathcomp-field
4m 5s
mathcomp-field
mathcomp-character
3m 52s
mathcomp-character
mathcomp-analysis
10m 27s
mathcomp-analysis
mathcomp
1m 44s
mathcomp
odd-order
9m 29s
odd-order
Fit to window
Zoom out
Zoom in