From: Daniel Arndt <arndtd@ornl.gov>
Date: Tue, 30 May 2023 20:20:36 +0000 (-0400)
Subject: Fix GitHub Linux CI
X-Git-Tag: v9.5.0-rc1~183^2~3
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=af4e6d3ac9ce4f13d85d8e1d4a39ab6f35fd2c6b;p=dealii.git

Fix GitHub Linux CI
---

diff --git a/.github/workflows/linux.yml b/.github/workflows/linux.yml
index 9ff238eb63..421c990f22 100644
--- 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