Skip to content
Back to pull request #4903

Switch to using TxCert type family #17272

Sign in to view logs

Switch to using TxCert type family

Switch to using TxCert type family #17272

Triggered via pull request February 21, 2025 01:00
@lehinslehins
synchronize #4903
lehins/switch-to-txcert
Status Success
Total duration 1h 49m 47s
Artifacts 5

haskell.yml

on: pull_request
Matrix: build
fourmolu
50s
fourmolu
cabal-format
7s
cabal-format
gen-hie
5m 27s
gen-hie
Check branch history
16s
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

Artifacts

Produced during runtime
Name Size
state-8.10.7-ubuntu-latest Expired
861 MB
state-9.10.1-ubuntu-latest Expired
818 MB
state-9.2.8-ubuntu-latest Expired
960 MB
state-9.6.6-ubuntu-latest Expired
827 MB
state-9.8.4-ubuntu-latest Expired
808 MB