WIP: Add CI job to validate Notes in source code (#19902)
This is an as yet incomplete implementation for #19902 (closed).
For the moment this uses $GHC -ignore-dot-ghci "check-notes.hs" -e ":main"
to run a haskell script. With !3036 (closed) this could be changed to $GHC --run "check-notes.hs"
.
Edited by Jakob Brünker