]> https://gitweb.dealii.org/ - code-gallery.git/commitdiff
Update actions/checkout to v4. actions-checkout 166/head
authorMarc Fehling <mafehling.git@gmail.com>
Sat, 3 Feb 2024 01:38:15 +0000 (18:38 -0700)
committerGitHub <noreply@github.com>
Sat, 3 Feb 2024 01:38:15 +0000 (18:38 -0700)
.github/workflows/linux.yml

index 4113621a10d4e1c98319c244236ac31ec94e89f4..9cb2815fc8b01e1828660d8c10fb54882c6f010e 100644 (file)
@@ -50,7 +50,7 @@ jobs:
           make
           echo "BRAID_DIR=${PWD}" >> $GITHUB_ENV
 
-      - uses: actions/checkout@v3
+      - uses: actions/checkout@v4
 
       - name: Compile all projects
         run: |

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.