Skip to content
Nix CI for bundle coq-8.19

Update README.md #227

Sign in to view logs

Update README.md

Update README.md #227

Triggered via pull request February 5, 2025 13:49
@CohenCyrilCohenCyril
opened #511
Status Success
Total duration 1h 44m 30s
Artifacts –

nix-action-coq-8.19.yml

on: pull_request_target
coq
38s
coq
hierarchy-builder
1m 23s
hierarchy-builder
mathcomp-ssreflect
6m 5s
mathcomp-ssreflect
mathcomp-single
13m 4s
mathcomp-single
mathcomp-fingroup
6m 46s
mathcomp-fingroup
mathcomp-bigenough
6m 6s
mathcomp-bigenough
QuickChick
6m 46s
QuickChick
mathcomp-finmap
6m 11s
mathcomp-finmap
coquelicot
6m 34s
coquelicot
autosubst
6m 20s
autosubst
deriving
6m 25s
deriving
reglang
6m 31s
reglang
relation-algebra
7m 19s
relation-algebra
mathcomp-algebra
5m 51s
mathcomp-algebra
async-test
1m 25s
async-test
interval
2m 33s
interval
mathcomp-solvable
7m 34s
mathcomp-solvable
mathcomp-classical
9m 9s
mathcomp-classical
fourcolor
17m 51s
fourcolor
coq-bits
6m 6s
coq-bits
multinomials
7m 14s
multinomials
http
1m 35s
http
vcfloat
3m 9s
vcfloat
mathcomp-field
6m 2s
mathcomp-field
mathcomp-reals
5m 58s
mathcomp-reals
mathcomp-character
2m 52s
mathcomp-character
mathcomp-real-closed
3m 42s
mathcomp-real-closed
mathcomp-reals-stdlib
2m 31s
mathcomp-reals-stdlib
mathcomp-analysis
15m 57s
mathcomp-analysis
mathcomp-experimental-reals
3m 3s
mathcomp-experimental-reals
mathcomp
1m 30s
mathcomp
mathcomp-analysis-stdlib
15m 27s
mathcomp-analysis-stdlib
odd-order
12m 48s
odd-order
Fit to window
Zoom out
Zoom in