ConwayCERTS: Predicate failure for incomplete withdrawals #19815
Triggered via pull request
September 9, 2025 12:50
aniketd
Status
Cancelled
Total duration
8m 1s
Artifacts
–
haskell.yml
on: pull_request
Matrix: build
fourmolu
46s
shellcheck
8s
cabal-format
6s
gen-hie
6m 53s
Check branch history
12s
Check if formal-ledger-specifications SRP is valid
15s
Check that there are no additions of `undefined`s in the PR diff
13s
Matrix: test
codegen
0s
Tests completed
2s
Send a slack notification on \#ledger-internal if the nightly build failed
0s
Annotations
10 errors
|
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-5279 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-5279 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-5279 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-5279 exists
|
|
Haskell CI
Canceling since a higher priority waiting request for Haskell CI-5279 exists
|
|
Tests completed
Process completed with exit code 1.
|