]> https://gitweb.dealii.org/ - code-gallery.git/commitdiff
projects / code-gallery.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 13e03c3)
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 patch | blob | history

diff --git a/.github/workflows/linux.yml b/.github/workflows/linux.yml
index 4113621a10d4e1c98319c244236ac31ec94e89f4..9cb2815fc8b01e1828660d8c10fb54882c6f010e 100644 (file)
--- a/.github/workflows/linux.yml
+++ b/.github/workflows/linux.yml
@@ -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: |
Mirror of the code gallery

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.