Build the site with the pinned Jekyll instead of github-pages - #787

Build the site with the pinned Jekyll instead of github-pages#787

amjjbonvin merged 1 commit into

masterhaddocking/haddocking.github.io:masterfrom

ci/jekyll4-native-buildhaddocking/haddocking.github.io:ci/jekyll4-native-buildCopy head branch name to clipboard