Skip to content
Haskell CI

Move EraGov interface into cardano-ledger-core #17283

Sign in to view logs

Move EraGov interface into cardano-ledger-core

Move EraGov interface into cardano-ledger-core #17283

Triggered via pull request February 21, 2025 22:52
@lehinslehins
opened #4905
lehins/move-gov-state-to-core
Status Failure
Total duration 36m 1s
Artifacts –

haskell.yml

on: pull_request
Matrix: build
fourmolu
44s
fourmolu
cabal-format
4s
cabal-format
gen-hie
5m 41s
gen-hie
Check branch history
10s
Check branch history
Check if formal-ledger-specifications SRP is valid
13s
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

6 errors
build (9.10.1, ubuntu-latest)
Process completed with exit code 1.
build (9.8.4, ubuntu-latest)
Process completed with exit code 1.
build (9.2.8, ubuntu-latest)
Process completed with exit code 1.
build (9.6.6, ubuntu-latest)
Process completed with exit code 1.
build (8.10.7, ubuntu-latest)
Process completed with exit code 1.
Tests completed
Process completed with exit code 1.