Skip to content
Build vellvm

Merge branch 'model-proof-test' into model-proof-test-updated #487

Sign in to view logs

Merge branch 'model-proof-test' into model-proof-test-updated

Merge branch 'model-proof-test' into model-proof-test-updated #487

Triggered via push June 29, 2023 00:39
@ZdancewicZdancewic
pushed b053d78
model-proof-test-updated
Status Failure
Total duration 23s
Artifacts –

test.yml

on: push
tests
13s
tests
Fit to window
Zoom out
Zoom in

Annotations

2 errors
tests
Action failed with error: Error: The process '/home/runner/work/_actions/cachix/cachix-action/v12/dist/main/push-paths.sh' failed with exit code 127
tests
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.