Skip to content
CI

Catalog, roadmap, and CI-gated status tracking for ledger properties (#1225) #2124

Sign in to view logs

Catalog, roadmap, and CI-gated status tracking for ledger properties (#1225)

Catalog, roadmap, and CI-gated status tracking for ledger properties (#1225) #2124

Triggered via pull request September 4, 2026 18:22
@williamdemeowilliamdemeo
synchronize #1226
1225-organize-catalog-track-properties
Status Success
Total duration 6m 36s
Artifacts 4

ci.yml

on: pull_request
formal-ledger-agda
52s
formal-ledger-agda
hs  /  build
4m 31s
hs / build
mkdocs  /  build
2m 17s
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
120 MB
sha256:35f17beb76cee47bb8e8a44b0227444d9edad380d76a6e0ad59404d1127878d8
hs
4.96 MB
sha256:aa5c2dacb5170e81d7708e0c0cc3ca3fbfac4526e7fe79cf475383987def3613
mkdocs
8.97 MB
sha256:80b654249a4be9dc22bbe8617075ca78a0b45b1be121fb86c97d3f6a31158b56
typecheck.time
2.51 KB
sha256:5c02826169a543815c454aeb1fc209bc288d293963038c88ef81a32fd2d1155c