Skip to content

Merge pull request #4708 from IntersectMBO/nm/4180-AlonzoValidTxUTXOW-to-ImpTest Finish implementing the tests in Alonzo.Imp.UtxowSpec.Valid #16381

Merge pull request #4708 from IntersectMBO/nm/4180-AlonzoValidTxUTXOW-to-ImpTest Finish implementing the tests in Alonzo.Imp.UtxowSpec.Valid

Merge pull request #4708 from IntersectMBO/nm/4180-AlonzoValidTxUTXOW-to-ImpTest Finish implementing the tests in Alonzo.Imp.UtxowSpec.Valid #16381

Re-run triggered November 19, 2024 05:15
Status Success
Total duration 3m 1s
Artifacts 5

haskell.yml

on: push
Matrix: build
fourmolu
48s
fourmolu
cabal-format
6s
cabal-format
gen-hie
5m 23s
gen-hie
Check branch history
0s
Check branch history
Check if formal-ledger-specifications SRP is valid
17s
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

2 warnings
cardano-ledger-binary-9.2.8-ubuntu-latest
Failed to download action 'https://api.github.com/repos/input-output-hk/actions/tarball/25215ea4d1509388c8147e02afc8a413c86dc23f'. Error: The request was canceled due to the configured HttpClient.Timeout of 100 seconds elapsing.
cardano-ledger-binary-9.2.8-ubuntu-latest
Back off 24.88 seconds before retry.