fix continue on error logic

opprop · Jul 15, 2022 · a2ae300 · a2ae300
1 parent a874f1a
commit a2ae300
Showing 1 changed file with 6 additions and 6 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -40,37 +40,37 @@ jobs:
              ./gradlew ImmutabilityTypecheckTest
 
       - name: PICO Typecheck AllSystems Test
-        if: ${{ steps.build.conclusion == 'success' }}
+        if: ${{ always() }}
         run: |
           ./.ci-prepare.sh
           ./gradlew ImmutabilityTypecheckBaseAllSystemsTest
 
       - name: PICO Typecheck Extended Test
-        if: ${{ steps.build.conclusion == 'success' }}
+        if: ${{ always() }}
         run: |
           ./.ci-prepare.sh
           ./gradlew ImmutabilityTypecheckExtendedTest
 
       - name: PICO Inference Initial Typecheck Test
-        if: ${{ steps.build.conclusion == 'success' }}
+        if: ${{ always() }}
         run: |
           ./.ci-prepare.sh
           ./gradlew ImmutabilityInferenceInitialTypecheckTest
 
       - name: PICO Inference Test
-        if: ${{ steps.build.conclusion == 'success' }}
+        if: ${{ always() }}
         run: |
           ./.ci-prepare.sh
           ./gradlew ImmutabilityInferenceTest
 
       - name: Glacier TypeCheck Test
-        if: ${{ steps.build.conclusion == 'success' }}
+        if: ${{ always() }}
         run: |
           ./.ci-prepare.sh
           ./gradlew ImmutabilityTypecheckGlacierTest
 
       - name: PICO ReIm Inference Test
-        if: ${{ steps.build.conclusion == 'success' }}
+        if: ${{ always() }}
         run: |
           ./.ci-prepare.sh
           ./gradlew ImmutabilityReImInferenceTest