Skip to content
Haskell CI

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

Sign in to view logs

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

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

Triggered via pull request August 15, 2025 22:43
@neilmayhewneilmayhew
synchronize #5235
nm/srp-scripts
Status Success
Total duration 1h 41m 14s
Artifacts 4

haskell.yml

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

Artifacts

Produced during runtime
Name Size Digest
state-9.10.2-ubuntu-latest Expired
920 MB
sha256:acd124c763216bf5287ebf483cc31981af37198ba38afed3a8edd7dd5623e820
state-9.12.2-ubuntu-latest Expired
916 MB
sha256:eff7f59c953ccdfed1f0b1f432e231075bdd33675882959cd222a0f6debc4f79
state-9.6.7-ubuntu-latest Expired
934 MB
sha256:f0f9724aaa8726e05752087f7255cb9ec00ddb71e0191f30d9c052ce69064918
state-9.8.4-ubuntu-latest Expired
912 MB
sha256:748bb56cb2c7a52c5cc0e12dfa8f25b26928bbca719a0bb8604a251659c5b60f