Debugging CI

dafny-lang · Dec 10, 2024 · da215d2 · da215d2
1 parent df2b72e
commit da215d2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/gradle.yml b/.github/workflows/gradle.yml
@@ -26,4 +26,4 @@ jobs:
       - name: Build with Gradle
         uses: gradle/gradle-build-action@v2
         with:
-          arguments: build
+          arguments: build --info --stacktrace