chore: update actions

bergmannjg · Feb 12, 2024 · e06be0e · e06be0e
1 parent 24a1fa6
commit e06be0e
Showing 1 changed file with 6 additions and 6 deletions.
diff --git a/.github/workflows/ghpages.yml b/.github/workflows/ghpages.yml
@@ -2,8 +2,8 @@ name: CI
 
 on:
  # Runs on pushes targeting the default branch
- # push:
- # branches: ["main"]
+ push:
+ branches: ["main"]
 
  # Allows you to run this workflow manually from the Actions tab
  workflow_dispatch:
@@ -31,7 +31,7 @@ jobs:
  ./elan-init -y --default-toolchain none
  echo "$HOME/.elan/bin" >> $GITHUB_PATH
  - name: Checkout
- uses: actions/checkout@v3
+ uses: actions/checkout@v4
  - name: Build Regex
  run: |
  lake update
@@ -46,9 +46,9 @@ jobs:
  lake -R -Kenv=dev update
  lake -R -Kenv=dev build Regex:docs
  - name: Setup Pages
- uses: actions/configure-pages@v2
+ uses: actions/configure-pages@v4
  - name: Upload artifact
- uses: actions/upload-pages-artifact@v1
+ uses: actions/upload-pages-artifact@v3
  with:
  path: './.lake/build/doc'
 
@@ -67,4 +67,4 @@ jobs:
  steps:
  - name: Deploy to GitHub Pages
  id: deployment
- uses: actions/deploy-pages@v1
+ uses: actions/deploy-pages@v4