Haddocks to GitHub Pages

Merge pull request #4872 from IntersectMBO/lehins/fix-spaceleak-due-t… #822

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
gh-pages	2h 6m 5s
	2h 6m 5s