Run souffle --version in both configs

plast-lab · Aug 28, 2024 · 9b7ba24 · 9b7ba24
1 parent 0a1af7d
commit 9b7ba24
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/.github/workflows/build-and-test.yml b/.github/workflows/build-and-test.yml
@@ -16,6 +16,10 @@ jobs:
 
     steps:
     - uses: actions/checkout@v4
+
+    - name: Test Souffle
+      run: souffle --version
+
     - name: Build
       run: make libsoufflenum.so
     - name: Test