Skip to content
CI

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

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) #2074

Triggered via pull request August 18, 2026 03:18
@williamdemeowilliamdemeo
synchronize #1203
1187-dijkstra-NEW-ENTITIES-ledger-pov
Status Success
Total duration 6m 13s
Artifacts 4

ci.yml

on: pull_request
formal-ledger-agda
53s
formal-ledger-agda
hs  /  build
4m 7s
hs / build
mkdocs  /  build
1m 49s
mkdocs / build
push-artifacts-to-branch
1m 3s
push-artifacts-to-branch
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
_build
119 MB
sha256:6981174ab2c2656c967fa2d9b8606a9d5a821bedf423e0efa307ce16d986f2c4
hs
4.94 MB
sha256:1ae85885983168b0ab0cc95e523dd89422454638ed16e266b263b0e6da8dce2c
mkdocs
8.89 MB
sha256:0a021858560b28bf86547f20d6911261f3d0ed6e74924a14a8714a1b75e08496
typecheck.time
2.5 KB
sha256:debd0397c8b3f0066fa63f916309debb82cc2aabf3651c5ee7d3f9cb35ee3e02