]> https://gitweb.dealii.org/ - dealii.git/commitdiff
CI: github actions: checkout@v2 9864/head
authorTimo Heister <timo.heister@gmail.com>
Thu, 9 Apr 2020 16:26:17 +0000 (12:26 -0400)
committerTimo Heister <timo.heister@gmail.com>
Thu, 9 Apr 2020 16:26:17 +0000 (12:26 -0400)
update checkout action to @v2. This should avoid errors when rerunning a
job about "reference is not a tree".

.github/workflows/main.yml

index 6cbf077e1aff774d4447ff4e9ece0e6ec13c2caa..8e74694e5961e82088ae749d3e6f8cc787fc5ba9 100644 (file)
@@ -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

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.