Skip to content
Haskell CI

Made predicate failures for TICK subrules Void in Shelley #19644

Sign in to view logs

Made predicate failures for TICK subrules Void in Shelley

Made predicate failures for TICK subrules Void in Shelley #19644

Triggered via pull request August 28, 2025 13:51
@SoupstrawSoupstraw
synchronize #5259
jj/remove-shelley-predfailure
Status Success
Total duration 1h 49m 17s
Artifacts 4

haskell.yml

on: pull_request
Matrix: build
fourmolu
40s
fourmolu
shellcheck
7s
shellcheck
cabal-format
5s
cabal-format
gen-hie
7m 2s
gen-hie
Check branch history
12s
Check branch history
Check if formal-ledger-specifications SRP is valid
24s
Check if formal-ledger-specifications SRP is valid
Check that there are no additions of `undefined`s in the PR diff
13s
Check that there are no additions of `undefined`s in the PR diff
Matrix: test
codegen
5m 59s
codegen
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
927 MB
sha256:40c9c4e458da110d5360e527adab36383e3551cad83cd31867e3f31a1bb2a283
state-9.12.2-ubuntu-latest Expired
922 MB
sha256:8401e7a55562a4e48a3654c1482d9f0c2985ade4c449b08b4f61df4b95ab2eb5
state-9.6.7-ubuntu-latest Expired
941 MB
sha256:2f2ef3d53a9d3fe0af5f7be3fdb2e4bcc6e56892a5468497ce5fbb6b73d2ecfb
state-9.8.4-ubuntu-latest Expired
919 MB
sha256:6fc26b57fe4878b04cf80aac2d90d54918c6dc37b0f905d2edc78bf72d766196