check isabelle version

viperproject · Jan 23, 2025 · 5473809 · 5473809
1 parent 0268984
commit 5473809
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
@@ -18,12 +18,12 @@ jobs:
       image: makarius/isabelle:Isabelle2024
       options: --user root # since container defines a separate user
     steps:
-      - name: Git version
-        run: git version 
-
       - name: Isabelle version
         run: isabelle version
 
+      - name: Git version
+        run: git version 
+
       - uses: actions/checkout@v4
         with:
           submodules: 'true'