Merge pull request #1670 from input-output-hk/prune-gh-pages

Prune history of gh-pages branch

Author: jpraynaud

.github/workflows/ci.yml

@@ -865,4 +865,5 @@ jobs:
         uses: peaceiris/actions-gh-pages@v3
         with:
           github_token: ${{ secrets.GITHUB_TOKEN || github.token }}
-          publish_dir: ./github-pages
+          publish_dir: ./github-pages
+          force_orphan: true