Skip to content
Haskell CI

Made predicate failures for TICK subrules Void in Shelley #19677

Sign in to view logs

Made predicate failures for TICK subrules Void in Shelley

Made predicate failures for TICK subrules Void in Shelley #19677

Triggered via pull request September 1, 2025 09:22
@SoupstrawSoupstraw
synchronize #5259
jj/remove-shelley-predfailure
Status Success
Total duration 2h 10m 21s
Artifacts 4

haskell.yml

on: pull_request
Matrix: build
fourmolu
42s
fourmolu
shellcheck
9s
shellcheck
cabal-format
6s
cabal-format
gen-hie
7m 19s
gen-hie
Check branch history
12s
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
27s
Check that there are no additions of `undefined`s in the PR diff
Matrix: test
codegen
10m 14s
codegen
Tests completed
3s
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:b14e1e556652fb9638a1dc584405972be0e9bcfdd7b84ad8044e635dd9360374
state-9.12.2-ubuntu-latest Expired
922 MB
sha256:979259847a69aa4cd77d7eb044476388422049f2373803bd96ad25f5c88ce26d
state-9.6.7-ubuntu-latest Expired
941 MB
sha256:98270cd3578ae4a944a4387c56eb58f77a051042d3fd3c6d96e82fb23948d54a
state-9.8.4-ubuntu-latest Expired
919 MB
sha256:23cf11b5846f5c7cd9dc4d9ecd40557f415718de24bb7b89aa64bb4848e6e126