Skip to content
CI

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

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

Triggered via pull request August 11, 2026 00:34
@williamdemeowilliamdemeo
synchronize #1203
1187-dijkstra-NEW-ENTITIES-ledger-pov
Status Success
Total duration 33m 35s
Artifacts 4

ci.yml

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

Artifacts

Produced during runtime
Name Size Digest
_build
119 MB
sha256:7f108d709fe5aa22b6cffb057dcbf6e3289e17d29cd213ba8ee2f1cdfc86bb01
hs
4.94 MB
sha256:03b8f649748489b5e5cab22ade32aeeac247d317e1966fbdfcebb4bf86f431eb
mkdocs
8.89 MB
sha256:918124762c7e5e34bbfb29ae95e1b38589b37ca8d8f216948f33e5d890ed5e4c
typecheck.time
2.62 KB
sha256:686b2807149e46278388bb23900d009305d18babbfb13b86428a76b97746f1af