]> 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: 3044dfc)
Fix GitHub Linux CI
authorDaniel Arndt <arndtd@ornl.gov>
Tue, 30 May 2023 20:20:36 +0000 (16:20 -0400)
committerDaniel Arndt <arndtd@ornl.gov>
Tue, 30 May 2023 20:20:36 +0000 (16:20 -0400)
.github/workflows/linux.yml patch | blob | history

diff --git a/.github/workflows/linux.yml b/.github/workflows/linux.yml
index 9ff238eb6341eb1616c156a1718b61027978ce83..421c990f22649ee143118989a75541fa7853ce4a 100644 (file)
--- a/.github/workflows/linux.yml
+++ b/.github/workflows/linux.yml
@@ -68,6 +68,7 @@ jobs:
     container:
       image: dealii/dependencies:jammy
 
+    steps:
     - 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.