add a repo info step

trilinos · Oct 25, 2023 · 5bbe7bb · 5bbe7bb
1 parent bffaf8b
commit 5bbe7bb
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/PR-gcc-openmpi.yml b/.github/workflows/PR-gcc-openmpi.yml
@@ -48,6 +48,7 @@ jobs:
       - name: Repo status
         working-directory: /home/Trilinos/src/Trilinos
         run: |
+          ls -lhat
           git status
           git branch -vv
       - name: get dependencies