Address issues in auto-generated CDDL specification #15647

Job	Run time
cabal-format	5s
cabal-format	5s
fourmolu	44s
fourmolu	44s
Check branch history	12s
Check branch history	12s
build (8.10.7, ubuntu-latest)	2m 31s
build (8.10.7, ubuntu-latest)	2m 31s
gen-hie	4m 44s
gen-hie	4m 44s
Check if formal-ledger-specifications SRP is valid	28s
Check if formal-ledger-specifications SRP is valid	28s
build (9.2.8, ubuntu-latest)	2m 22s
build (9.2.8, ubuntu-latest)	2m 16s
build (9.6.6, ubuntu-latest)	3m 27s
build (9.6.6, ubuntu-latest)	3m 27s
build (9.8.2, ubuntu-latest)	1m 22s
build (9.8.2, ubuntu-latest)	1m 22s
build (9.10.1, ubuntu-latest)	1m 46s
build (9.10.1, ubuntu-latest)	1m 46s
${{ matrix.package }}-${{ matrix.ghc }}-${{ matrix.os }}	0s
${{ matrix.package }}-${{ matrix.ghc }}-${{ matrix.os }}	0s
Tests completed	1s
Tests completed	1s
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	0s
	35m 18s

Provide feedback