RV Run Proofs #41
jbertholdrv-run-proofs.yaml
on: workflow_dispatch
Compile P-Token to SMIR JSON
2m 0s
Prepare proof matrix
8s
Matrix: Link SMIR and Run Proofs
Annotations
3 notices
|
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/'
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
artefacts-test_process_burn
|
853 KB |
sha256:d4207744690eeacc712cd767e2e65dd54f4d989bd121b2e9c405e3c0b8bcdb9b
|
|
|
artefacts-test_process_mint_to
|
851 KB |
sha256:df24f3f5f73b48f7da70c3c54c0754ef43b6fb3abc632f38bf7e89656ee5635d
|
|
|
artefacts-test_process_transfer
|
853 KB |
sha256:37d1c11099633c26ad774bf84f3eac002207d0f84e978cb3d4c097b5ecdc8964
|
|
|
artefacts-test_process_withdraw_excess_lamports_account
|
853 KB |
sha256:c90fda02bc83567d916f88259c07048474e714ecc8b0756ad72b1d0b03f156ac
|
|
|
p-token.smir
Expired
|
821 KB |
sha256:6de8a65a2f784b5edf40906f6b65c087b3010df6e0a70fa6c254aa30f3af7105
|
|