Skip to content

Bumped the spec to include fixes to SecurityGroup parameters #17092

Bumped the spec to include fixes to SecurityGroup parameters

Bumped the spec to include fixes to SecurityGroup parameters #17092

Triggered via pull request January 31, 2025 11:14
Status Failure
Total duration 30m 14s
Artifacts

haskell.yml

on: pull_request
Matrix: build
fourmolu
45s
fourmolu
cabal-format
5s
cabal-format
gen-hie
5m 43s
gen-hie
Check branch history
10s
Check branch history
Check if formal-ledger-specifications SRP is valid
4s
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

8 errors
Check if formal-ledger-specifications SRP is valid
Process completed with exit code 1.
fourmolu
Process completed with exit code 102.
build (9.10.1, ubuntu-latest)
Process completed with exit code 1.
build (9.8.4, ubuntu-latest)
Process completed with exit code 1.
build (9.2.8, ubuntu-latest)
Process completed with exit code 1.
build (9.6.6, ubuntu-latest)
Process completed with exit code 1.
build (8.10.7, ubuntu-latest)
Process completed with exit code 1.
Tests completed
Process completed with exit code 1.