[Dijkstra] CIP-159-11b: Prove UTxO and UTxOW preservation of value (#1186) #2062
williamdemeoci.yml
on: pull_request
formal-ledger-agda
29m 18s
push-artifacts-to-branch
1m 1s
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
_build
|
121 MB |
sha256:06997a402212d38355a97f65a9cdab964797aed691a73aa07f6779137b0de0df
|
|
|
hs
|
4.94 MB |
sha256:69f3dffbbb714b55a97a3f1be85d41c50f29b4c02950740b78d96ea222c0e446
|
|
|
mkdocs
|
8.97 MB |
sha256:5b592cb8c04f16d1a8481e42f36bcd2d775d346ba026f6f64e5ed8d9a84b5dfa
|
|
|
typecheck.time
|
2.65 KB |
sha256:7fcbe34d34192cd0d51c88afb998c3f8d8b6afd3b049193386b592ffa22a7aba
|
|