diff options
author | Nikita Tchayka <nikitatchayka@gmail.com> | 2023-08-27 13:17:40 +0100 |
---|---|---|
committer | Nikita Tchayka <nikitatchayka@gmail.com> | 2023-08-27 13:17:40 +0100 |
commit | 4fd2257638dfccd90331df24fa642db6d495feef (patch) | |
tree | 30dce851bc0d267317016751d686a270bd0ae158 /.github | |
parent | de5a7fd1ae1ffceee4b49165b4a251d129b99d49 (diff) | |
download | neohaskell.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.yml | 40 | ||||
-rw-r--r-- | .github/workflows/deploy.yml | 46 |
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 |