Skip to content
CI

[Dijkstra] CIP-159-11c: Prove LEDGER preservation of value (#1187) #2060

Sign in to view logs

[Dijkstra] CIP-159-11c: Prove LEDGER preservation of value (#1187)

[Dijkstra] CIP-159-11c: Prove LEDGER preservation of value (#1187) #2060

Triggered via pull request August 12, 2026 05:22
@williamdemeowilliamdemeo
synchronize #1203
1187-dijkstra-NEW-ENTITIES-ledger-pov
Status Success
Total duration 28m 8s
Artifacts 4

ci.yml

on: pull_request
formal-ledger-agda
22m 55s
formal-ledger-agda
hs  /  build
4m 5s
hs / build
mkdocs  /  build
1m 56s
mkdocs / build
push-artifacts-to-branch
1m 0s
push-artifacts-to-branch
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
_build
119 MB
sha256:22563c5af569204f91355ee764b69ce2ca17e52fb73547844f8d5e98fa1cbd1f
hs
4.94 MB
sha256:4ae0779fb8ada2d26f7f214e4c67511fd56daf9ad20562116354724edb8384cf
mkdocs
8.89 MB
sha256:0f5f58c66c733a2784cb2a0d3cafa229e4c5fbcc9064bfecc7ae8e5f67308c1f
typecheck.time
2.56 KB
sha256:31583140f7e564ba8de23c1b5df7a69f92ef8466af0b91e3de413b5bb1b4a0de