Enable Dijkstra Twiddling tests, relax some decoders in PV12 #23604
haskell.yml
on: pull_request
Matrix: build
fourmolu
43s
shellcheck
8s
nix-formatter
7s
cabal-format
7s
gen-hie
10s
Check branch history
16s
Check if formal-ledger-specifications SRP is valid
59s
Check that there are no additions of `undefined`s in the PR diff
16s
changelog-lint
10s
Matrix: test
codegen
0s
Summarize test failures
Tests completed
3s
Send a slack notification on \#ledger-internal if the nightly build failed
Annotations
15 errors
|
cabal-format
Process completed with exit code 1.
|
|
build (9.8.4, ubuntu-latest)
Canceling since a higher priority waiting request for Haskell CI-5862 exists
|
|
build (9.8.4, ubuntu-latest)
The operation was canceled.
|
|
build (9.12.4, ubuntu-latest)
Canceling since a higher priority waiting request for Haskell CI-5862 exists
|
|
build (9.12.4, ubuntu-latest)
The operation was canceled.
|
|
Check if formal-ledger-specifications SRP is valid
Canceling since a higher priority waiting request for Haskell CI-5862 exists
|
|
Check if formal-ledger-specifications SRP is valid
The operation was canceled.
|
|
build (9.10.3, ubuntu-latest)
Canceling since a higher priority waiting request for Haskell CI-5862 exists
|
|
build (9.10.3, ubuntu-latest)
The operation was canceled.
|
|
build (9.14.1, ubuntu-latest)
Canceling since a higher priority waiting request for Haskell CI-5862 exists
|
|
build (9.14.1, ubuntu-latest)
The operation was canceled.
|
|
build (9.6.7, ubuntu-latest)
Canceling since a higher priority waiting request for Haskell CI-5862 exists
|
|
build (9.6.7, ubuntu-latest)
The operation was canceled.
|
|
Haskell CI
Canceling since a higher priority waiting request for Haskell CI-5862 exists
|
|
Tests completed
Process completed with exit code 1.
|