Publish JS Client #19
jbertholdpublish-js-client.yml
on: workflow_dispatch
Compile P-Token to SMIR JSON
1m 54s
Prepare proof matrix
3s
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 | |
|---|---|---|---|
|
p-token.smir
Expired
|
914 KB |
sha256:1a3f83288aab9543e4d84c836b42a65a390ef406d9498707d9eb51da829aa3e4
|
|