Merge remote-tracking branch 'origin/develop'

runtimeverification · May 15, 2024 · 448f83e · 448f83e
2 parents 5f31831 + 4d61ba8
commit 448f83e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/test-pr.yml b/.github/workflows/test-pr.yml
@@ -270,7 +270,7 @@ jobs:
           k-deb-path: kframework.deb
       - name: 'Run integration tests'
         run: |
-          docker exec -u user k-pyk-integration-${{ github.sha }} make test-integration TEST_ARGS='-n4 --timeout 300'
+          docker exec -u user k-pyk-integration-${{ github.sha }} make test-integration TEST_ARGS='-n4 --timeout 300 -vv'
       - name: 'Tear down Docker'
         if: always()
         run: |