Skip to content

Removed hash size proofs #16785

Removed hash size proofs

Removed hash size proofs #16785

Triggered via pull request January 7, 2025 10:48
Status Cancelled
Total duration 57s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

haskell.yml

on: pull_request
Matrix: build
fourmolu
39s
fourmolu
cabal-format
7s
cabal-format
gen-hie
37s
gen-hie
Check branch history
13s
Check branch history
Check if formal-ledger-specifications SRP is valid
11s
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

15 errors and 4 warnings
build (8.10.7, ubuntu-latest)
Canceling since a higher priority waiting request for 'Haskell CI-4819' exists
build (8.10.7, ubuntu-latest)
The operation was canceled.
build (9.2.8, ubuntu-latest)
Canceling since a higher priority waiting request for 'Haskell CI-4819' exists
build (9.2.8, ubuntu-latest)
The operation was canceled.
gen-hie
Canceling since a higher priority waiting request for 'Haskell CI-4819' exists
gen-hie
The operation was canceled.
build (9.8.4, ubuntu-latest)
Canceling since a higher priority waiting request for 'Haskell CI-4819' exists
build (9.8.4, ubuntu-latest)
The operation was canceled.
build (9.6.6, ubuntu-latest)
Canceling since a higher priority waiting request for 'Haskell CI-4819' exists
build (9.6.6, ubuntu-latest)
The operation was canceled.
fourmolu
Canceling since a higher priority waiting request for 'Haskell CI-4819' exists
fourmolu
The operation was canceled.
build (9.10.1, ubuntu-latest)
Canceling since a higher priority waiting request for 'Haskell CI-4819' exists
build (9.10.1, ubuntu-latest)
The operation was canceled.
Tests completed
Process completed with exit code 1.
cabal-format
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Check if formal-ledger-specifications SRP is valid
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Check branch history
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Tests completed
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636