Added `DijkstraPlutusPurpose` #19612

Job	Run time
Check that there are no additions of `undefined`s in the PR diff	13s
cabal-format	8s
Check if formal-ledger-specifications SRP is valid	23s
build (9.6.7, ubuntu-latest)	18m 29s
shellcheck	7s
fourmolu	39s
build (9.8.4, ubuntu-latest)	17m 16s
Check branch history	11s
build (9.10.2, ubuntu-latest)	14m 55s
build (9.12.2, ubuntu-latest)	18m 17s
gen-hie	7m 31s
codegen	0s
${{ matrix.package }}-${{ matrix.ghc }}-${{ matrix.os }}	0s
Tests completed	4s
Send a slack notification on \#ledger-internal if the nightly build failed	-1s
	1h 18m 12s

Provide feedback