Skip to content
Nix CI for bundle coq-8.20

Merge pull request #103 from proux01/ci-update #30

Sign in to view logs

Merge pull request #103 from proux01/ci-update

Merge pull request #103 from proux01/ci-update #30

Triggered via push February 3, 2025 09:07
@proux01proux01
pushed 04aaab4
master
Status Success
Total duration 34m 3s
Artifacts –

nix-action-coq-8.20.yml

on: push
coq
42s
coq
stdlib
38s
stdlib
coq-elpi
1m 25s
coq-elpi
bignums
42s
bignums
hierarchy-builder
1m 14s
hierarchy-builder
mathcomp-ssreflect
3m 21s
mathcomp-ssreflect
mathcomp-algebra
6m 4s
mathcomp-algebra
mathcomp-bigenough
3m 8s
mathcomp-bigenough
mathcomp-finmap
3m 21s
mathcomp-finmap
mathcomp-field
5m 0s
mathcomp-field
mathcomp-zify
1m 34s
mathcomp-zify
multinomials
1m 58s
multinomials
mathcomp-real-closed
4m 18s
mathcomp-real-closed
mathcomp
4m 39s
mathcomp
mathcomp-algebra-tactics
1m 35s
mathcomp-algebra-tactics
coqeal
3m 9s
coqeal
mathcomp-apery
7m 5s
mathcomp-apery
Fit to window
Zoom out
Zoom in