diff options
author | Nikita Tchayka <nikitatchayka@gmail.com> | 2023-08-27 13:09:49 +0100 |
---|---|---|
committer | Nikita Tchayka <nikitatchayka@gmail.com> | 2023-08-27 13:09:49 +0100 |
commit | 0cf3363e30a9a365a8bdf512dd4b46c40e2ff0f2 (patch) | |
tree | df9eb73b9e938a4326dbd64ba1eae51018cb07db | |
parent | cc7ecd09c98863c082093827fabdf2ca224bc194 (diff) | |
download | neohaskell.github.io-0cf3363e30a9a365a8bdf512dd4b46c40e2ff0f2.tar.gz neohaskell.github.io-0cf3363e30a9a365a8bdf512dd4b46c40e2ff0f2.tar.bz2 neohaskell.github.io-0cf3363e30a9a365a8bdf512dd4b46c40e2ff0f2.zip |
Add publishing
-rw-r--r-- | .github/workflows/build.yml | 40 |
1 files changed, 40 insertions, 0 deletions
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml new file mode 100644 index 0000000..2add745 --- /dev/null +++ b/.github/workflows/build.yml @@ -0,0 +1,40 @@ +name: Deploy to GitHub Pages + +on: + push: + branches: + - main + # Review gh actions docs if you want to further define triggers, paths, etc + # https://docs.github.com/en/actions/using-workflows/workflow-syntax-for-github-actions#on + +jobs: + deploy: + name: Deploy to GitHub Pages + runs-on: ubuntu-latest + steps: + - uses: actions/checkout@v3 + - uses: actions/setup-node@v3 + with: + node-version: 18 + cache: npm + + - name: Install dependencies + run: npm install --frozen-lockfile + - name: Build website + run: npm build + + # Popular action to deploy to GitHub Pages: + # Docs: https://github.com/peaceiris/actions-gh-pages#%EF%B8%8F-docusaurus + - name: Deploy to GitHub Pages + uses: peaceiris/actions-gh-pages@v3 + with: + github_token: ${{ secrets.GITHUB_TOKEN }} + # Build output to publish to the `gh-pages` branch: + publish_dir: ./build + # The following lines assign commit authorship to the official + # GH-Actions bot for deploys to `gh-pages` branch: + # https://github.com/actions/checkout/issues/13#issuecomment-724415212 + # The GH actions bot is used by default if you didn't specify the two fields. + # You can swap them out with your own user credentials. + user_name: github-actions[bot] + user_email: 41898282+github-actions[bot]@users.noreply.github.com |