Skip to content
Nix CI for bundle coq-8.20

derive: param1 support for is_true and primitive strings #463

Sign in to view logs

derive: param1 support for is_true and primitive strings

derive: param1 support for is_true and primitive strings #463

Triggered via pull request February 26, 2025 08:24
@garesgares
synchronize #784
Status Cancelled
Total duration 38m 0s
Artifacts –

nix-action-coq-8.20.yml

on: pull_request_target
coq
1m 1s
coq
stdlib
1m 0s
stdlib
coq-elpi
1m 47s
coq-elpi
coq-elpi-tests
2m 1s
coq-elpi-tests
hierarchy-builder
1m 0s
hierarchy-builder
mathcomp-ssreflect
1m 2s
mathcomp-ssreflect
mathcomp-fingroup
1m 7s
mathcomp-fingroup
mathcomp-bigenough
1m 40s
mathcomp-bigenough
mathcomp-finmap
1m 7s
mathcomp-finmap
coquelicot
2m 5s
coquelicot
QuickChick
1m 0s
QuickChick
autosubst
1m 0s
autosubst
relation-algebra
1m 4s
relation-algebra
mathcomp-algebra
4m 10s
mathcomp-algebra
interval
2m 53s
interval
mathcomp-solvable
5m 24s
mathcomp-solvable
mathcomp-classical
5m 23s
mathcomp-classical
multinomials
4m 47s
multinomials
mathcomp-field
5m 26s
mathcomp-field
mathcomp-reals
2m 42s
mathcomp-reals
mathcomp-character
5m 19s
mathcomp-character
mathcomp-real-closed
6m 9s
mathcomp-real-closed
mathcomp-reals-stdlib
2m 46s
mathcomp-reals-stdlib
mathcomp-analysis
13m 37s
mathcomp-analysis
mathcomp-experimental-reals
3m 11s
mathcomp-experimental-reals
mathcomp
1m 54s
mathcomp
coqeal
3m 56s
coqeal
mathcomp-analysis-stdlib
49s
mathcomp-analysis-stdlib
odd-order
7m 11s
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.