Skip to content
Nix CI for bundle coq8.13+mcmathcomp-1.15.0

Abel-Galois for any characteristic #48

Sign in to view logs

Abel-Galois for any characteristic

Abel-Galois for any characteristic #48

Triggered via pull request July 25, 2023 17:18
@CohenCyrilCohenCyril
synchronize #83
Status Failure
Total duration 34s
Artifacts –

nix-action-coq8.13+mcmathcomp-1.15.0.yml

on: pull_request_target
coq
13s
coq
mathcomp-bigenough
0s
mathcomp-bigenough
mathcomp-real-closed
0s
mathcomp-real-closed
mathcomp-abel
0s
mathcomp-abel
Fit to window
Zoom out
Zoom in

Annotations

1 error and 2 warnings
coq
Action failed with error: Error: Unable to locate executable file: cachix. Please verify either the file path exists or the file can be found within a directory specified by the PATH environment variable. Also check the file mode to verify the file is executable.
coq
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, cachix/install-nix-action@v16, cachix/cachix-action@v10. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
coq
The `save-state` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/