Skip to content

Generalize maxperm and some lemmas #28

Generalize maxperm and some lemmas

Generalize maxperm and some lemmas #28

Triggered via push January 20, 2024 15:39
Status Failure
Total duration 59s
Artifacts
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/