Skip to content

Convert CertState to a type family #17205

Convert CertState to a type family

Convert CertState to a type family #17205

Triggered via pull request February 12, 2025 23:47
Status Failure
Total duration 1h 47m 40s
Artifacts 5

haskell.yml

on: pull_request
Matrix: build
fourmolu
49s
fourmolu
cabal-format
8s
cabal-format
gen-hie
5m 55s
gen-hie
Check branch history
11s
Check branch history
Check if formal-ledger-specifications SRP is valid
12s
Check if formal-ledger-specifications SRP is valid
Matrix: test
Tests completed
0s
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
cardano-ledger-conway-9.6.6-ubuntu-latest
Process completed with exit code 1.
cardano-ledger-conway-9.10.1-ubuntu-latest
Process completed with exit code 1.
cardano-ledger-conway-9.2.8-ubuntu-latest
Process completed with exit code 1.
cardano-ledger-conway-8.10.7-ubuntu-latest
Process completed with exit code 1.
Tests completed
Process completed with exit code 1.

Artifacts

Produced during runtime
Name Size
state-8.10.7-ubuntu-latest
851 MB
state-9.10.1-ubuntu-latest
808 MB
state-9.2.8-ubuntu-latest
951 MB
state-9.6.6-ubuntu-latest
818 MB
state-9.8.4-ubuntu-latest
799 MB