Temporarily don't run AesopTest

Author: kim-em

.github/build.in.yml

@@ -541,11 +541,12 @@ jobs:
         run: |
           lake build Batteries Qq Aesop ProofWidgets Plausible
 
-      - name: build AesopTest (nightly-testing only)
-        # Only run on the mathlib4-nightly-testing repository
-        if: github.repository == 'leanprover-community/mathlib4-nightly-testing'
-        run: |
-          lake build AesopTest
+      # temporarily comment out
+      # - name: build AesopTest (nightly-testing only)
+      #   # Only run on the mathlib4-nightly-testing repository
+      #   if: github.repository == 'leanprover-community/mathlib4-nightly-testing'
+      #   run: |
+      #     lake build AesopTest
 
       # We no longer run `lean4checker` in regular CI, as it is quite expensive for little benefit.
       # Instead we run it in a cron job on master: see `lean4checker.yml`.

.github/workflows/bors.yml

@@ -551,11 +551,12 @@ jobs:
         run: |
           lake build Batteries Qq Aesop ProofWidgets Plausible
 
-      - name: build AesopTest (nightly-testing only)
-        # Only run on the mathlib4-nightly-testing repository
-        if: github.repository == 'leanprover-community/mathlib4-nightly-testing'
-        run: |
-          lake build AesopTest
+      # temporarily comment out
+      # - name: build AesopTest (nightly-testing only)
+      #   # Only run on the mathlib4-nightly-testing repository
+      #   if: github.repository == 'leanprover-community/mathlib4-nightly-testing'
+      #   run: |
+      #     lake build AesopTest
 
       # We no longer run `lean4checker` in regular CI, as it is quite expensive for little benefit.
       # Instead we run it in a cron job on master: see `lean4checker.yml`.

.github/workflows/build.yml

@@ -558,11 +558,12 @@ jobs:
         run: |
           lake build Batteries Qq Aesop ProofWidgets Plausible
 
-      - name: build AesopTest (nightly-testing only)
-        # Only run on the mathlib4-nightly-testing repository
-        if: github.repository == 'leanprover-community/mathlib4-nightly-testing'
-        run: |
-          lake build AesopTest
+      # temporarily comment out
+      # - name: build AesopTest (nightly-testing only)
+      #   # Only run on the mathlib4-nightly-testing repository
+      #   if: github.repository == 'leanprover-community/mathlib4-nightly-testing'
+      #   run: |
+      #     lake build AesopTest
 
       # We no longer run `lean4checker` in regular CI, as it is quite expensive for little benefit.
       # Instead we run it in a cron job on master: see `lean4checker.yml`.

.github/workflows/build_fork.yml

@@ -555,11 +555,12 @@ jobs:
         run: |
           lake build Batteries Qq Aesop ProofWidgets Plausible
 
-      - name: build AesopTest (nightly-testing only)
-        # Only run on the mathlib4-nightly-testing repository
-        if: github.repository == 'leanprover-community/mathlib4-nightly-testing'
-        run: |
-          lake build AesopTest
+      # temporarily comment out
+      # - name: build AesopTest (nightly-testing only)
+      #   # Only run on the mathlib4-nightly-testing repository
+      #   if: github.repository == 'leanprover-community/mathlib4-nightly-testing'
+      #   run: |
+      #     lake build AesopTest
 
       # We no longer run `lean4checker` in regular CI, as it is quite expensive for little benefit.
       # Instead we run it in a cron job on master: see `lean4checker.yml`.