Skip to content
Build vellvm

Transitivity / symmetry instances for MemState_eqv + more. #455

Sign in to view logs

Transitivity / symmetry instances for MemState_eqv + more.

Transitivity / symmetry instances for MemState_eqv + more. #455

Triggered via push June 7, 2023 17:49
@ChobbesChobbes
pushed 99eec0b
model-proof-test
Status Failure
Total duration 27s
Artifacts –

test.yml

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

Annotations

2 errors and 1 warning
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.
tests
Node.js 12 actions are deprecated. Please update the following actions to use Node.js 16: actions/checkout@v2.5.0. For more information see: https://github.blog/changelog/2022-09-22-github-actions-all-actions-will-begin-running-on-node16-instead-of-node12/.