RV Run Proofs #35
jbertholdrv-run-proofs.yaml
on: workflow_dispatch
Compile P-Token to SMIR JSON
1m 45s
Prepare proof matrix
8s
Matrix: Link SMIR and Run Proofs
Annotations
4 errors and 3 notices
|
Prepare proof matrix
Process completed with exit code 2.
|
|
Compile P-Token to SMIR JSON
The operation was canceled.
|
|
Compile P-Token to SMIR JSON
The run was canceled by @jberthold.
|
|
RV Run Proofs
The run was canceled by @jberthold.
|
|
Compile P-Token to SMIR JSON
added 1 elements to PATH (reverse order, last has highest precedence): '/nix/store/cwq5fxac528552xl4nyf8nz9l692h70d-stable-mir-json-0.1.0/bin'
|
|
Compile P-Token to SMIR JSON
exported 1 variables: 'XDG_DATA_DIRS'
|
|
Compile P-Token to SMIR JSON
nix shell from flakes: 'github:runtimeverification/stable-mir-json/'
|