Skip to content
Haskell CI

Made predicate failures for TICK subrules Void in Shelley #19682

Sign in to view logs

Made predicate failures for TICK subrules Void in Shelley

Made predicate failures for TICK subrules Void in Shelley #19682

Triggered via pull request September 1, 2025 12:23
@SoupstrawSoupstraw
synchronize #5259
jj/remove-shelley-predfailure
Status Success
Total duration 2h 33m 46s
Artifacts 4

haskell.yml

on: pull_request
Matrix: build
fourmolu
43s
fourmolu
shellcheck
6s
shellcheck
cabal-format
7s
cabal-format
gen-hie
7m 8s
gen-hie
Check branch history
11s
Check branch history
Check if formal-ledger-specifications SRP is valid
25s
Check if formal-ledger-specifications SRP is valid
Check that there are no additions of `undefined`s in the PR diff
12s
Check that there are no additions of `undefined`s in the PR diff
Matrix: test
codegen
5m 24s
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
928 MB
sha256:45ba3e0c67b6650336fba8fe5d0c571f265f89ad8e5cd9d52fc274a773878923
state-9.12.2-ubuntu-latest Expired
923 MB
sha256:ee7e54729a8c696ced56067a2b8dec41e180a6f4e8435bb5dfd13ab6539c2617
state-9.6.7-ubuntu-latest Expired
942 MB
sha256:0923db6ef7a7aa514cf38606cfa4fe0b093d3f0168406f721d6ea7f61ea3eec5
state-9.8.4-ubuntu-latest Expired
919 MB
sha256:2d44189a45e6127116c884e7ac2460ad62f6d7812dee9672d3f361e03b0539f9