Skip to content

Merge pull request #4442 from IntersectMBO/aniketd/conformance-update-formal-spec Update executable-spec SRP #14549

Merge pull request #4442 from IntersectMBO/aniketd/conformance-update-formal-spec Update executable-spec SRP

Merge pull request #4442 from IntersectMBO/aniketd/conformance-update-formal-spec Update executable-spec SRP #14549

Triggered via push June 28, 2024 13:14
Status Success
Total duration 2h 3m 33s
Artifacts 4

haskell.yml

on: push
Matrix: build
fourmolu
50s
fourmolu
cabal-format
8s
cabal-format
gen-hie
5s
gen-hie
Check branch history
0s
Check branch history
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 Expired
940 MB
state-9.2.8-ubuntu-latest Expired
904 MB
state-9.6.5-ubuntu-latest Expired
866 MB
state-9.8.2-ubuntu-latest Expired
841 MB