Skip to content

Add scripts for adding and updating srp's in cabal.project #19487

Add scripts for adding and updating srp's in cabal.project

Add scripts for adding and updating srp's in cabal.project #19487

Re-run triggered August 15, 2025 21:33
Status Success
Total duration 14m 22s
Artifacts 4

haskell.yml

on: pull_request
Matrix: build
fourmolu
40s
fourmolu
shellcheck
7s
shellcheck
cabal-format
7s
cabal-format
gen-hie
7m 6s
gen-hie
Check branch history
11s
Check branch history
Check if formal-ledger-specifications SRP is valid
20s
Check if formal-ledger-specifications SRP is valid
Check that there are no additions of `undefined`s in the PR diff
11s
Check that there are no additions of `undefined`s in the PR diff
Matrix: test
Tests completed
2s
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