]> https://gitweb.dealii.org/ - dealii.git/commitdiff
projects / dealii.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 957ad94)
Checkout code
authorDaniel Arndt <arndtd@ornl.gov>
Tue, 30 May 2023 21:09:21 +0000 (17:09 -0400)
committerDaniel Arndt <arndtd@ornl.gov>
Tue, 30 May 2023 21:09:21 +0000 (17:09 -0400)
.github/workflows/linux.yml patch | blob | history

diff --git a/.github/workflows/linux.yml b/.github/workflows/linux.yml
index ce93b1299d6ade7f5e4d65ff84e050603292fc29..d7028432965f699792e81cce76eb7c3c23e5d5bb 100644 (file)
--- a/.github/workflows/linux.yml
+++ b/.github/workflows/linux.yml
@@ -70,6 +70,7 @@ jobs:
       options: --user root
 
     steps:
+    - uses: actions/checkout@v3
     - name: info
       run: |
         mpicc -v
Mirror of the development repository for deal.II

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.