Skip to content

Merge pull request #4644 from IntersectMBO/lehins/cardano-ledger-conway-1.16.2.0 Cardano ledger conway 1.16.2.0 #15661

Merge pull request #4644 from IntersectMBO/lehins/cardano-ledger-conway-1.16.2.0 Cardano ledger conway 1.16.2.0

Merge pull request #4644 from IntersectMBO/lehins/cardano-ledger-conway-1.16.2.0 Cardano ledger conway 1.16.2.0 #15661

Triggered via push September 23, 2024 23:18
Status Success
Total duration 2h 0m 4s
Artifacts 5

haskell.yml

on: push
Matrix: build
fourmolu
45s
fourmolu
cabal-format
6s
cabal-format
gen-hie
5m 5s
gen-hie
Check branch history
0s
Check branch history
Check if formal-ledger-specifications SRP is valid
28s
Check if formal-ledger-specifications SRP is valid
Matrix: test
Tests completed
0s
Tests completed
Send a slack notification on \#ledger-internal if the nightly build failed
0s
Send a slack notification on \#ledger-internal if the nightly build failed
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
state-8.10.7-ubuntu-latest
942 MB
state-9.10.1-ubuntu-latest
888 MB
state-9.2.8-ubuntu-latest
915 MB
state-9.6.6-ubuntu-latest
901 MB
state-9.8.2-ubuntu-latest
880 MB