From: Timo Heister <timo.heister@gmail.com>
Date: Thu, 9 Apr 2020 16:26:17 +0000 (-0400)
Subject: CI: github actions: checkout@v2
X-Git-Tag: v9.2.0-rc1~257^2
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=refs%2Fpull%2F9864%2Fhead;p=dealii.git

CI: github actions: checkout@v2

update checkout action to @v2. This should avoid errors when rerunning a
job about "reference is not a tree".
---

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index 6cbf077e1a..8e74694e59 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -10,7 +10,7 @@ jobs:
     runs-on: [ubuntu-18.04]
 
     steps:
-    - uses: actions/checkout@v1
+    - uses: actions/checkout@v2
     - name: setup
       run: |
         ./contrib/utilities/download_clang_format
@@ -38,7 +38,7 @@ jobs:
     runs-on: [macos-latest]
 
     steps:
-    - uses: actions/checkout@v1
+    - uses: actions/checkout@v2
     - name: setup
       run: |
         ./contrib/utilities/download_clang_format
@@ -67,7 +67,7 @@ jobs:
     runs-on: [macos-latest]
 
     steps:
-    - uses: actions/checkout@v1
+    - uses: actions/checkout@v2
     - name: setup
       run: |
         brew install openmpi