Skip to content
CI

Merge pull request #1292 from IntersectMBO/claude/leios-ledger-spec-n… #2050

Sign in to view logs

Merge pull request #1292 from IntersectMBO/claude/leios-ledger-spec-n…

Merge pull request #1292 from IntersectMBO/claude/leios-ledger-spec-n… #2050

Triggered via push August 10, 2026 19:57
@williamdemeowilliamdemeo
pushed 193d640
master
Status Success
Total duration 5m 46s
Artifacts 4

ci.yml

on: push
formal-ledger-agda
40s
formal-ledger-agda
hs  /  build
4m 3s
hs / build
mkdocs  /  build
2m 12s
mkdocs / build
push-artifacts-to-branch
55s
push-artifacts-to-branch
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
_build
116 MB
sha256:fcb69b34b6f9011457622ca9a7c94e0954c7bc476a6157c07c58f297ed976d51
hs
4.94 MB
sha256:f3533ce61081d71e701d7bdde87916a067fc24398d388c6c3b737bd0817316f7
mkdocs
8.73 MB
sha256:0cf6501fa0a3adb7a8329795154a7abdd2a9095992ec011fc55613f3b35e9a06
typecheck.time
2.46 KB
sha256:9c46477bc6ce9600dfc275a1411dcfc1e58aaebebd7b0b644e40cca09f737b5c