Bump versions of GitHub Actions to suppress deprecation messages.

coq · Sep 3, 2023 · b4b3f41 · b4b3f41
1 parent 9a2d45e
commit b4b3f41
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/deploy_heroku.yml b/.github/workflows/deploy_heroku.yml
@@ -9,10 +9,10 @@ jobs:
   build:
     runs-on: ubuntu-latest
     steps:
-      - uses: actions/checkout@v2
+      - uses: actions/checkout@v3
       - name: Build release Docker image
         run: docker build -f release.Dockerfile . -t coqbot
-      - uses: akhileshns/heroku-deploy@v3.1.6
+      - uses: akhileshns/heroku-deploy@v3.12.14
         with:
           heroku_api_key: ${{secrets.HEROKU_API_KEY}}
           heroku_app_name: coqbot