Skip to content
Haskell CI

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

Sign in to view logs

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

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

Triggered via pull request September 1, 2025 14:39
@carlostomecarlostome
synchronize #5195
carlos/refactor-conformance-dijkstra
Status Success
Total duration 2h 5m 46s
Artifacts 4

haskell.yml

on: pull_request
Matrix: build
fourmolu
41s
fourmolu
shellcheck
5s
shellcheck
cabal-format
5s
cabal-format
gen-hie
7m 37s
gen-hie
Check branch history
11s
Check branch history
Check if formal-ledger-specifications SRP is valid
27s
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
5m 47s
codegen
Tests completed
2s
Tests completed
Send a slack notification on \#ledger-internal if the nightly build failed
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
928 MB
sha256:d65bfcfb147addeba6c2dd57d7a023734eb710641d03fe559c97dd7039b68d2a
state-9.12.2-ubuntu-latest Expired
923 MB
sha256:7d10c98f59654b401b3ab4ea61e21af002c639e2f7ffd9826b76ae49ea12dd04
state-9.6.7-ubuntu-latest Expired
942 MB
sha256:658838e095344660183d5cfe754a1d2782b6579c6b2298c82892816f2f5a8ede
state-9.8.4-ubuntu-latest Expired
920 MB
sha256:eed6ce71504b2f6c4829448813b7ffa88aa31f53e17a85145f73e62275697857