Skip to content

Removed hash size proofs #16793

Removed hash size proofs

Removed hash size proofs #16793

Triggered via pull request January 8, 2025 10:16
Status Cancelled
Total duration 20s
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
0s
fourmolu
cabal-format
2s
cabal-format
gen-hie
1s
gen-hie
Check branch history
0s
Check branch history
Check if formal-ledger-specifications SRP is valid
0s
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

21 errors and 1 warning
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.
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.
Check branch history
Canceling since a higher priority waiting request for 'Haskell CI-4819' exists
Check branch history
The operation was canceled.
cabal-format
Canceling since a higher priority waiting request for 'Haskell CI-4819' exists
cabal-format
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.
build (9.8.4, ubuntu-latest)
Canceling since a higher priority waiting request for 'Haskell CI-4819' exists
build (9.8.4, ubuntu-latest)
A task was canceled.
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.
gen-hie
Canceling since a higher priority waiting request for 'Haskell CI-4819' exists
gen-hie
A task was canceled.
fourmolu
Canceling since a higher priority waiting request for 'Haskell CI-4819' exists
fourmolu
A task was canceled.
Check if formal-ledger-specifications SRP is valid
Canceling since a higher priority waiting request for 'Haskell CI-4819' exists
Check if formal-ledger-specifications SRP is valid
A task was canceled.
Tests completed
Process completed with exit code 1.
Tests completed
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636