Update GH-actions

chkpnt · Aug 12, 2023 · bd8e427 · bd8e427
1 parent 576762d
commit bd8e427
Show file tree

Hide file tree

Showing 3 changed files with 8 additions and 8 deletions.
diff --git a/.github/workflows/run-tests.yml b/.github/workflows/run-tests.yml
@@ -8,7 +8,7 @@ jobs:
   run-tests:
     runs-on: ubuntu-latest
     steps:
-      - uses: actions/checkout@v2
+      - uses: actions/checkout@v3
         with:
           fetch-depth: 0
 

diff --git a/.github/workflows/update-frontend.yml b/.github/workflows/update-frontend.yml
@@ -10,7 +10,7 @@ jobs:
   update-frontend:
     runs-on: ubuntu-latest
     steps:
-      - uses: actions/checkout@v2
+      - uses: actions/checkout@v3
         with:
           ssh-key: ${{ secrets.WORKFLOW_SSH_KEY }}
 
@@ -20,7 +20,7 @@ jobs:
       - name: Build front end
         run: ./gradlew buildFrontend
 
-      - uses: webfactory/ssh-agent@v0.5.3
+      - uses: webfactory/ssh-agent@v0.8.0
         with:
           ssh-private-key: ${{ secrets.WORKFLOW_SSH_KEY }}
 

diff --git a/.github/workflows/update-overlays.yml b/.github/workflows/update-overlays.yml
@@ -1,19 +1,19 @@
 name: update overlays
 
 on:
-  schedule:
-    - cron: "0 18 * * *"
   workflow_dispatch:
+  repository_dispatch:
+    types: [ update_overlays ]
 
 jobs:
   update-coverage:
-    runs-on: ubuntu-latest
+    runs-on: zimmermann
     steps:
-      - uses: actions/checkout@v2
+      - uses: actions/checkout@v3
         with:
           ssh-key: ${{ secrets.WORKFLOW_SSH_KEY }}
 
-      - uses: webfactory/ssh-agent@v0.5.3
+      - uses: webfactory/ssh-agent@v0.8.0
         with:
           ssh-private-key: ${{ secrets.WORKFLOW_SSH_KEY }}