Skip to content
Nix CI for bundle coq-master

Nix toolbox update #497

Sign in to view logs

Nix toolbox update

Nix toolbox update #497

Triggered via pull request December 13, 2024 15:59
@proux01proux01
synchronize #727
Status Failure
Total duration 2m 55s
Artifacts –

nix-action-coq-master.yml

on: pull_request_target
coq
57s
coq
coq-elpi
1m 34s
coq-elpi
hierarchy-builder
0s
hierarchy-builder
mathcomp-ssreflect
0s
mathcomp-ssreflect
mathcomp-fingroup
0s
mathcomp-fingroup
mathcomp-bigenough
0s
mathcomp-bigenough
mathcomp-finmap
0s
mathcomp-finmap
mathcomp-algebra
0s
mathcomp-algebra
mathcomp-solvable
0s
mathcomp-solvable
mathcomp-classical
0s
mathcomp-classical
multinomials
0s
multinomials
mathcomp-field
0s
mathcomp-field
mathcomp-reals
0s
mathcomp-reals
mathcomp-character
0s
mathcomp-character
mathcomp-real-closed
0s
mathcomp-real-closed
mathcomp-reals-stdlib
0s
mathcomp-reals-stdlib
mathcomp-analysis
0s
mathcomp-analysis
mathcomp-experimental-reals
0s
mathcomp-experimental-reals
mathcomp
0s
mathcomp
mathcomp-analysis-stdlib
0s
mathcomp-analysis-stdlib
odd-order
0s
odd-order
Fit to window
Zoom out
Zoom in

Annotations

1 error and 2 warnings
coq-elpi
Process completed with exit code 1.
coq
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
coq-elpi
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636