Skip to content
Nix CI for bundle coq-8.20

derive: param1 support for is_true and primitive strings #462

Sign in to view logs

derive: param1 support for is_true and primitive strings

derive: param1 support for is_true and primitive strings #462

Triggered via pull request February 26, 2025 08:20
@garesgares
synchronize #784
Status Cancelled
Total duration 41m 49s
Artifacts –

nix-action-coq-8.20.yml

on: pull_request_target
coq
1m 6s
coq
stdlib
1m 0s
stdlib
coq-elpi
1m 49s
coq-elpi
coq-elpi-tests
2m 18s
coq-elpi-tests
hierarchy-builder
1m 44s
hierarchy-builder
mathcomp-ssreflect
3m 48s
mathcomp-ssreflect
mathcomp-fingroup
2m 16s
mathcomp-fingroup
mathcomp-bigenough
1m 39s
mathcomp-bigenough
mathcomp-finmap
1m 52s
mathcomp-finmap
coquelicot
2m 14s
coquelicot
QuickChick
2m 8s
QuickChick
autosubst
1m 37s
autosubst
relation-algebra
2m 38s
relation-algebra
mathcomp-algebra
4m 9s
mathcomp-algebra
interval
3m 0s
interval
mathcomp-solvable
5m 28s
mathcomp-solvable
mathcomp-classical
5m 27s
mathcomp-classical
multinomials
4m 45s
multinomials
mathcomp-field
5m 23s
mathcomp-field
mathcomp-reals
2m 37s
mathcomp-reals
mathcomp-character
5m 27s
mathcomp-character
mathcomp-real-closed
6m 2s
mathcomp-real-closed
mathcomp-reals-stdlib
2m 45s
mathcomp-reals-stdlib
mathcomp-analysis
13m 58s
mathcomp-analysis
mathcomp-experimental-reals
3m 22s
mathcomp-experimental-reals
mathcomp
1m 55s
mathcomp
coqeal
3m 45s
coqeal
mathcomp-analysis-stdlib
43s
mathcomp-analysis-stdlib
odd-order
7m 20s
odd-order
Fit to window
Zoom out
Zoom in

Annotations

4 errors
mathcomp-analysis-stdlib
The run was canceled by @gares.
mathcomp-analysis-stdlib
The operation was canceled.
odd-order
The run was canceled by @gares.
odd-order
The operation was canceled.