Added `DijkstraPParams` #18971

Job	Run time
cabal-format	5s
shellcheck	5s
gen-hie	53s
Check branch history	12s
Check if formal-ledger-specifications SRP is valid	14s
build (9.8.4, ubuntu-latest)	53s
fourmolu	42s
build (9.6.7, ubuntu-latest)	54s
build (9.12.2, ubuntu-latest)	53s
build (9.10.2, ubuntu-latest)	54s
${{ matrix.package }}-${{ matrix.ghc }}-${{ matrix.os }}	1s
Tests completed	3s
codegen	1s
Send a slack notification on \#ledger-internal if the nightly build failed	1s
	5m 51s

Provide feedback