Skip to content
Nix CI for bundle rocq-9.0

Adapt to coq/coq#20313 (wit_tactic does not handle ltac in term) #129

Sign in to view logs

Adapt to coq/coq#20313 (wit_tactic does not handle ltac in term)

Adapt to coq/coq#20313 (wit_tactic does not handle ltac in term) #129

Triggered via pull request March 3, 2025 14:39
@SkySkimmerSkySkimmer
opened #789
Status Success
Total duration 46m 31s
Artifacts –

nix-action-rocq-9.0.yml

on: pull_request_target
coq
1m 2s
coq
stdlib
1m 3s
stdlib
coq-elpi
1m 31s
coq-elpi
coq-elpi-tests
1m 28s
coq-elpi-tests
coq-elpi-tests-stdlib
1m 39s
coq-elpi-tests-stdlib
hierarchy-builder
1m 34s
hierarchy-builder
mathcomp-ssreflect
3m 12s
mathcomp-ssreflect
mathcomp-fingroup
3m 55s
mathcomp-fingroup
mathcomp-bigenough
3m 14s
mathcomp-bigenough
mathcomp-finmap
3m 29s
mathcomp-finmap
autosubst
3m 12s
autosubst
QuickChick
4m 0s
QuickChick
coquelicot
3m 49s
coquelicot
mathcomp-algebra
3m 46s
mathcomp-algebra
mathcomp-solvable
4m 57s
mathcomp-solvable
mathcomp-classical
4m 47s
mathcomp-classical
multinomials
4m 18s
multinomials
mathcomp-field
4m 35s
mathcomp-field
mathcomp-reals
3m 42s
mathcomp-reals
mathcomp-character
2m 47s
mathcomp-character
mathcomp-real-closed
2m 53s
mathcomp-real-closed
mathcomp-analysis
10m 8s
mathcomp-analysis
mathcomp-reals-stdlib
1m 51s
mathcomp-reals-stdlib
mathcomp-experimental-reals
2m 10s
mathcomp-experimental-reals
mathcomp
2m 50s
mathcomp
coqeal
4m 29s
coqeal
mathcomp-analysis-stdlib
10m 19s
mathcomp-analysis-stdlib
odd-order
9m 11s
odd-order
Fit to window
Zoom out
Zoom in