Disable inference check and see

opprop · May 7, 2024 · c3910eb · c3910eb
1 parent a8c87f7
commit c3910eb
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -53,6 +53,6 @@ jobs:
         if: ${{ steps.build.outcome == 'success' }}
         run: ./gradlew ImmutabilityInferenceInitialTypecheckTest
 
-      - name: PICO Inference Test
-        if: ${{ steps.build.outcome == 'success' }}
-        run: ./gradlew ImmutabilityInferenceTest
+#      - name: PICO Inference Test
+#        if: ${{ steps.build.outcome == 'success' }}
+#        run: ./gradlew ImmutabilityInferenceTest