Skip to content
Nix CI for bundle 8.15

Cleanup and exports in set partitions #12

Sign in to view logs

Cleanup and exports in set partitions

Cleanup and exports in set partitions #12

Triggered via push December 23, 2023 22:53
@hiverthivert
pushed 0ea33b1
master
Status Failure
Total duration 23s
Artifacts –

nix-action-8.15.yml

on: push
coq
12s
coq
coq-combi
0s
coq-combi
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/