aboutsummaryrefslogtreecommitdiff
path: root/.github
diff options
context:
space:
mode:
authorNikita Tchayka <nikitatchayka@gmail.com>2023-08-27 13:17:40 +0100
committerNikita Tchayka <nikitatchayka@gmail.com>2023-08-27 13:17:40 +0100
commit4fd2257638dfccd90331df24fa642db6d495feef (patch)
tree30dce851bc0d267317016751d686a270bd0ae158 /.github
parentde5a7fd1ae1ffceee4b49165b4a251d129b99d49 (diff)
downloadneohaskell.github.io-4fd2257638dfccd90331df24fa642db6d495feef.tar.gz
neohaskell.github.io-4fd2257638dfccd90331df24fa642db6d495feef.tar.bz2
neohaskell.github.io-4fd2257638dfccd90331df24fa642db6d495feef.zip
Update?
Diffstat (limited to '.github')
-rw-r--r--.github/workflows/build.yml40
-rw-r--r--.github/workflows/deploy.yml46
2 files changed, 46 insertions, 40 deletions
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
deleted file mode 100644
index 0a8dead..0000000
--- a/.github/workflows/build.yml
+++ /dev/null
@@ -1,40 +0,0 @@
-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 run 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
diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml
new file mode 100644
index 0000000..67894de
--- /dev/null
+++ b/.github/workflows/deploy.yml
@@ -0,0 +1,46 @@
+# .github/workflows/deploy.yml
+
+name: GitHub Pages
+
+on:
+ push:
+ branches:
+ - main
+ pull_request:
+
+jobs:
+ deploy:
+ runs-on: ubuntu-22.04
+ permissions:
+ contents: write
+ concurrency:
+ group: ${{ github.workflow }}-${{ github.ref }}
+ steps:
+ - uses: actions/checkout@v3
+
+ - name: Setup Node
+ uses: actions/setup-node@v3
+ with:
+ node-version: "14"
+
+ - name: Get yarn cache
+ id: yarn-cache
+ run: echo "YARN_CACHE_DIR=$(yarn cache dir)" >> "${GITHUB_OUTPUT}"
+
+ - name: Cache dependencies
+ uses: actions/cache@v3
+ with:
+ path: ${{ steps.yarn-cache.outputs.YARN_CACHE_DIR }}
+ key: ${{ runner.os }}-website-${{ hashFiles('**/yarn.lock') }}
+ restore-keys: |
+ ${{ runner.os }}-website-
+
+ - run: yarn install --frozen-lockfile
+ - run: yarn build
+
+ - name: Deploy
+ uses: peaceiris/actions-gh-pages@v3
+ if: github.ref == 'refs/heads/main'
+ with:
+ github_token: ${{ secrets.GITHUB_TOKEN }}
+ publish_dir: ./build