Skip to content
Haskell CI

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

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 #19520

Triggered via pull request August 19, 2025 09:22
@carlostomecarlostome
synchronize #5195
carlos/refactor-conformance-dijkstra
Status Success
Total duration 1h 47m 41s
Artifacts 4

haskell.yml

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

Artifacts

Produced during runtime
Name Size Digest
state-9.10.2-ubuntu-latest Expired
920 MB
sha256:f390dff77082a3b3a59b0033d6ffecf37034729d386aec75d98816f8e313f71c
state-9.12.2-ubuntu-latest Expired
916 MB
sha256:703b1e4885b330ca0be68ace72e2e0a1240c7014c0bdaa66963ce940a9c686f6
state-9.6.7-ubuntu-latest Expired
934 MB
sha256:459455e46debc9246e4b5bbf47051d485296d1a487b7b70d007bc63a5f676b73
state-9.8.4-ubuntu-latest Expired
912 MB
sha256:508f9e9a04e3cf511d8d7e1336ca94900b9c76fa7c14bc72e6a7279e893617f5