Skip to content
CI

WIP -- [Dijkstra] CIP-159: Prove Gov preservation-of-value facts (#1276) #2165

Sign in to view logs

WIP -- [Dijkstra] CIP-159: Prove Gov preservation-of-value facts (#1276)

WIP -- [Dijkstra] CIP-159: Prove Gov preservation-of-value facts (#1276) #2165

Triggered via pull request September 9, 2026 20:01
@williamdemeowilliamdemeo
synchronize #1278
1276-dijkstra-gov-pov
Status Success
Total duration 38m 16s
Artifacts 4

ci.yml

on: pull_request
formal-ledger-agda
32m 46s
formal-ledger-agda
hs  /  build
4m 18s
hs / build
mkdocs  /  build
2m 6s
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
124 MB
sha256:da119c5c29619a94be0a297b40ccc604fa78eb027771731f64c97be1c7703391
hs
5.05 MB
sha256:c754aca76b378171bfe28243ba0b491869a01c92528bb1bc71e918024f80db22
mkdocs
9.15 MB
sha256:bdd1d4f76cff88d58fdd7e0374fdba5dc7f8904ce8923b288539faae8b02756b
typecheck.time
2.67 KB
sha256:f88ece9083fc2c30c824f77fb293fded72ce71f37a00c0461c0f83ea9e70ce0f