aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorNikita Tchayka <nikitatchayka@gmail.com>2023-08-27 13:09:49 +0100
committerNikita Tchayka <nikitatchayka@gmail.com>2023-08-27 13:09:49 +0100
commit0cf3363e30a9a365a8bdf512dd4b46c40e2ff0f2 (patch)
treedf9eb73b9e938a4326dbd64ba1eae51018cb07db
parentcc7ecd09c98863c082093827fabdf2ca224bc194 (diff)
downloadneohaskell.github.io-0cf3363e30a9a365a8bdf512dd4b46c40e2ff0f2.tar.gz
neohaskell.github.io-0cf3363e30a9a365a8bdf512dd4b46c40e2ff0f2.tar.bz2
neohaskell.github.io-0cf3363e30a9a365a8bdf512dd4b46c40e2ff0f2.zip
Add publishing
-rw-r--r--.github/workflows/build.yml40
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