Conway cleanup #19645

Job	Run time
cabal-format	7s
fourmolu	1s
build (9.8.4, ubuntu-latest)	1m 21s
build (9.12.2, ubuntu-latest)	1m 46s
build (9.6.7, ubuntu-latest)	1s
build (9.10.2, ubuntu-latest)	59s
shellcheck	1s
Check if formal-ledger-specifications SRP is valid	1s
gen-hie	1s
Check branch history	1s
Check that there are no additions of `undefined`s in the PR diff	1s
${{ matrix.package }}-${{ matrix.ghc }}-${{ matrix.os }}	1s
Tests completed	3s
Send a slack notification on \#ledger-internal if the nightly build failed	1s
codegen	1s
	4m 26s

Provide feedback