Haddock3 container workflow & usage#1318

Comp-era wants to merge 17 commits intohaddocking:mainhaddocking/haddock3:mainfrom

Comp-era:usage-run-build-containerComp-era/haddock3:usage-run-build-containerCopy head branch name to clipboard