Skip to content

Made predicate failures for NEWEPOCH subrules Void #19690

Made predicate failures for NEWEPOCH subrules Void

Made predicate failures for NEWEPOCH subrules Void #19690

Triggered via push September 1, 2025 14:57
Status Success
Total duration 2h 36m 57s
Artifacts 4

haskell.yml

on: push
Matrix: build
fourmolu
41s
fourmolu
shellcheck
5s
shellcheck
cabal-format
5s
cabal-format
gen-hie
7m 15s
gen-hie
Check branch history
0s
Check branch history
Check if formal-ledger-specifications SRP is valid
27s
Check if formal-ledger-specifications SRP is valid
Check that there are no additions of `undefined`s in the PR diff
0s
Check that there are no additions of `undefined`s in the PR diff
Matrix: test
Tests completed
2s
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 Digest
state-9.10.2-ubuntu-latest Expired
928 MB
sha256:0817ed2b2474f7f9439c18ab869f9834b9b93a606c46607d8558296d828e7c47
state-9.12.2-ubuntu-latest Expired
923 MB
sha256:9afab39e0afcd8d4f3c67a4299e25b1bd9ff849845393dedb8fb457db1b95578
state-9.6.7-ubuntu-latest Expired
942 MB
sha256:dc8d90af80c9f5cc7efee556cd6e1d4ec44a703ac3bb26212d8a0405710abe6f
state-9.8.4-ubuntu-latest Expired
919 MB
sha256:7f82e58f74d68cba7a630635ffc440dab1acaf74c3d7dec88dc0bcfd7855dd8d