diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml new file mode 100644 index 0000000..6aa1182 --- /dev/null +++ b/.github/workflows/docs.yml @@ -0,0 +1,32 @@ +name: Build and Deploy GH Pages for ATLAS + +on: + workflow_dispatch: + push: + branches: + - main + +concurrency: + group: "pages" + cancel-in-progress: true + +jobs: + docs: + runs-on: ubuntu-latest + steps: + - uses: actions/checkout@v3 + + - name: Build Documentation + run: | + cargo doc --no-deps + echo "" > target/doc/index.html + cp -r target/doc docs + + - name: Upload Documentation Artifact + uses: actions/upload-pages-artifact@v2 + with: + path: "hacspec-scrambledb/docs" + + - name: Deploy Documentation to GitHub Pages + id: deployment + uses: actions/deploy-pages@v2