Skip to content

Made predicate failures for TICK subrules Void in Shelley #19643

Made predicate failures for TICK subrules Void in Shelley

Made predicate failures for TICK subrules Void in Shelley #19643

Triggered via pull request August 28, 2025 13:49
Status Cancelled
Total duration 2m 7s
Artifacts

haskell.yml

on: pull_request
Matrix: build
fourmolu
39s
fourmolu
shellcheck
8s
shellcheck
cabal-format
8s
cabal-format
gen-hie
1m 34s
gen-hie
Check branch history
14s
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
14s
Check that there are no additions of `undefined`s in the PR diff
Matrix: test
codegen
0s
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

Annotations

13 errors
fourmolu
Process completed with exit code 1.
build (9.8.4, ubuntu-latest)
The operation was canceled.
build (9.8.4, ubuntu-latest)
Canceling since a higher priority waiting request for Haskell CI-5259 exists
build (9.10.2, ubuntu-latest)
The operation was canceled.
build (9.10.2, ubuntu-latest)
Canceling since a higher priority waiting request for Haskell CI-5259 exists
build (9.6.7, ubuntu-latest)
The operation was canceled.
build (9.6.7, ubuntu-latest)
Canceling since a higher priority waiting request for Haskell CI-5259 exists
build (9.12.2, ubuntu-latest)
The operation was canceled.
build (9.12.2, ubuntu-latest)
Canceling since a higher priority waiting request for Haskell CI-5259 exists
gen-hie
The operation was canceled.
gen-hie
Canceling since a higher priority waiting request for Haskell CI-5259 exists
Haskell CI
Canceling since a higher priority waiting request for Haskell CI-5259 exists
Tests completed
Process completed with exit code 1.