Skip to content

Refactor some parts of cardano-ledger-conformance to prepare for Dijkstra #19519

Refactor some parts of cardano-ledger-conformance to prepare for Dijkstra

Refactor some parts of cardano-ledger-conformance to prepare for Dijkstra #19519

Triggered via pull request August 19, 2025 08:20
Status Failure
Total duration 29m 24s
Artifacts

haskell.yml

on: pull_request
Matrix: build
fourmolu
38s
fourmolu
shellcheck
6s
shellcheck
cabal-format
7s
cabal-format
gen-hie
7m 12s
gen-hie
Check branch history
11s
Check branch history
Check if formal-ledger-specifications SRP is valid
22s
Check if formal-ledger-specifications SRP is valid
Check that there are no additions of `undefined`s in the PR diff
11s
Check that there are no additions of `undefined`s in the PR diff
Matrix: test
codegen
0s
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

Annotations

5 errors
build (9.12.2, ubuntu-latest)
Process completed with exit code 1.
build (9.10.2, ubuntu-latest)
Process completed with exit code 1.
build (9.8.4, ubuntu-latest)
Process completed with exit code 1.
build (9.6.7, ubuntu-latest)
Process completed with exit code 1.
Tests completed
Process completed with exit code 1.