Skip to content
Haskell CI

Update formal-ledger-specifications #18934

Sign in to view logs

Update formal-ledger-specifications

Update formal-ledger-specifications #18934

Triggered via pull request July 11, 2025 12:57
@carlostomecarlostome
synchronize #5162
carlos/update-fls
Status Cancelled
Total duration 6m 30s
Artifacts –

haskell.yml

on: pull_request
Matrix: build
fourmolu
42s
fourmolu
shellcheck
5s
shellcheck
cabal-format
0s
cabal-format
gen-hie
5m 11s
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
codegen
0s
codegen
Tests completed
2s
Tests completed
Send a slack notification on \#ledger-internal if the nightly build failed
Send a slack notification on \#ledger-internal if the nightly build failed
Fit to window
Zoom out
Zoom in

Annotations

11 errors
gen-hie
Canceling since a higher priority waiting request for Haskell CI-5162 exists
cabal-format
Canceling since a higher priority waiting request for Haskell CI-5162 exists
Check branch history
Canceling since a higher priority waiting request for Haskell CI-5162 exists
build (9.12.2, ubuntu-latest)
Canceling since a higher priority waiting request for Haskell CI-5162 exists
Check if formal-ledger-specifications SRP is valid
Canceling since a higher priority waiting request for Haskell CI-5162 exists
build (9.10.2, ubuntu-latest)
Canceling since a higher priority waiting request for Haskell CI-5162 exists
build (9.6.7, ubuntu-latest)
Canceling since a higher priority waiting request for Haskell CI-5162 exists
build (9.8.4, ubuntu-latest)
The operation was canceled.
build (9.8.4, ubuntu-latest)
Canceling since a higher priority waiting request for Haskell CI-5162 exists
Haskell CI
Canceling since a higher priority waiting request for Haskell CI-5162 exists
Tests completed
Process completed with exit code 1.