diff --git a/.github/workflows/publish-website.yml b/.github/workflows/publish-website.yml new file mode 100644 index 0000000..315d861 --- /dev/null +++ b/.github/workflows/publish-website.yml @@ -0,0 +1,18 @@ +name: Deploy Website +on: + push: + branches: [main] + # uncomment this once the website publishes well + # tags: ["*"] +jobs: + publish: + runs-on: ubuntu-latest + steps: + - uses: actions/checkout@v4 + with: + fetch-depth: 0 + - uses: coursier/cache-action@v6 + - name: Publish ${{ github.ref }} + run: sbt docs/docusaurusPublishGhpages + env: + GITHUB_DEPLOY_KEY: ${{ secrets.GITHUB_DEPLOY_KEY }}