Skip to content
Nix CI for bundle coq8.13+mc1.14

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 21, 2023 10:49
@CohenCyrilCohenCyril
synchronize #83
Status Failure
Total duration 27s
Artifacts –

nix-action-coq8.13+mc1.14.yml

on: pull_request_target
coq
16s
coq
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/