Delete reim and glacier related tests

opprop · May 2, 2024 · d365abc · d365abc
1 parent 5925ff4
commit d365abc
Show file tree

Hide file tree

Showing 3 changed files with 1 addition and 80 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -49,18 +49,10 @@ jobs:
         if: ${{ steps.build.outcome == 'success' }}
         run: ./gradlew ImmutabilityTypecheckExtendedTest
 
-      - name: PICO Glacier TypeCheck Test
-        if: ${{ steps.build.outcome == 'success' }}
-        run: ./gradlew ImmutabilityTypecheckGlacierTest
-
       - name: PICO Inference Initial Typecheck Test
         if: ${{ steps.build.outcome == 'success' }}
         run: ./gradlew ImmutabilityInferenceInitialTypecheckTest
 
       - name: PICO Inference Test
         if: ${{ steps.build.outcome == 'success' }}
-        run: ./gradlew ImmutabilityInferenceTest
-
-      - name: PICO ReIm Inference Test
-        if: ${{ steps.build.outcome == 'success' }}
-        run: ./gradlew ImmutabilityReImInferenceTest
+        run: ./gradlew ImmutabilityInferenceTest
diff --git a/src/test/java/pico/ImmutabilityReImInferenceTest.java b/src/test/java/pico/ImmutabilityReImInferenceTest.java
diff --git a/src/test/java/pico/ImmutabilityTypecheckGlacierTest.java b/src/test/java/pico/ImmutabilityTypecheckGlacierTest.java