Merge remote-tracking branch 'origin/main' into broken_rfl

opencompl · Sep 27, 2024 · e7e4bb8 · e7e4bb8
2 parents c115109 + c0efe64
commit e7e4bb8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/ci-tools.yml b/.github/workflows/ci-tools.yml
@@ -60,4 +60,4 @@ jobs:
           lake -R exe cache get
           lake build AliveExamples
           (cd SSA/Projects/InstCombine/; ./update_alive_statements.py)
-          bash -c '! git diff | grep .'  # iff git diff is empty, 'grep .' fails, '!' inverts the failure, and in the forced bash
+          # Disabled due to https://github.com/opencompl/lean-mlir/issues/660 - bash -c '! git diff | grep .'  # iff git diff is empty, 'grep .' fails, '!' inverts the failure, and in the forced bash