diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 1662900..7d080ac 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -3,10 +3,17 @@ name: CI on: push: branches: [ "master" ] - pull_request: - branches: [ "master" ] workflow_dispatch: +permissions: + contents: read + pages: write + id-token: write + +concurrency: + group: "pages" + cancel-in-progress: false + jobs: build: runs-on: ubuntu-latest @@ -26,3 +33,15 @@ jobs: - run: make benchmark - run: make + + - uses: actions/upload-pages-artifact@v2 + + deploy: + environment: + name: github-pages + url: ${{ steps.deployment.outputs.page_url }} + runs-on: ubuntu-latest + needs: build + steps: + - id: deployment + uses: actions/deploy-pages@v2