ci: add index.html.

Currently this is just a redirect, but we could build for different versions and add a menu.
2023-03-08 11:41:58 +00:00
parent ecc1345338
commit 357995a15a
2 changed files with 9 additions and 2 deletions
--- a/.github/static-files/index.html
+++ b/.github/static-files/index.html
@ -0,0 +1,8 @@
+<html>
+  <head>
+    <meta http-equiv="Refresh" content="0; url='magick_rust/index.html'" />
+  </head>
+  <body>
+    <p>Please <a href="magick_rust/index.html">click here</a> if you are not automatically redirected.</p>
+  </body>
+</html>
--- a/.github/workflows/docs.yaml
+++ b/.github/workflows/docs.yaml
@ -31,6 +31,7 @@ jobs:
      - name: build docs
        run: |
          cargo doc --no-deps
+          cp .github/static-files/index.html target/doc/
      - name: Upload artifact
        uses: actions/upload-pages-artifact@v1
        with:
@ -43,8 +44,6 @@ jobs:
      url: ${{ steps.deployment.outputs.page_url }}
    runs-on: ubuntu-latest
    steps:
-      - name: Checkout
-        uses: actions/checkout@v3
      - name: Setup Pages
        uses: actions/configure-pages@v3
      - name: Deploy to GitHub Pages