Skip to content
Formal Ledger Specs

Check if *-MAlonzo branch exists on each run (#609) #2477

Sign in to view logs

Check if *-MAlonzo branch exists on each run (#609)

Check if *-MAlonzo branch exists on each run (#609) #2477

Triggered via push November 19, 2024 12:08
@LucsanszkyLucsanszky
pushed bccb83b
master
Status Success
Total duration 12m 27s
Artifacts 4

build.yml

on: push
Formal-Ledger
57s
Formal-Ledger
Ledger-hs
55s
Ledger-hs
Ledger-pdf
8m 30s
Ledger-pdf
Midnight
1m 26s
Midnight
MAlonzo
39s
MAlonzo
Uploads
17s
Uploads
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
Docs-formalLedger
66.6 MB
Docs-ledger-hs
2.12 MB
Docs-ledger-pdf
4.34 MB
Docs-midnight
4.83 MB