This is an automated email from the ASF dual-hosted git repository.

mbutrovich pushed a commit to branch main
in repository https://gitbox.apache.org/repos/asf/datafusion-comet.git


The following commit(s) were added to refs/heads/main by this push:
     new 354d14205 ci: disable Miri safety checks until compatibility is 
restored (#3504)
354d14205 is described below

commit 354d14205571a90597b335d21a5a48fc90375a18
Author: Andy Grove <[email protected]>
AuthorDate: Thu Feb 12 12:33:36 2026 -0700

    ci: disable Miri safety checks until compatibility is restored (#3504)
    
    * ci: disable Miri safety checks until compatibility is restored
    
    Closes #3499
    
    Co-Authored-By: Claude Opus 4.6 <[email protected]>
    
    * fix
    
    ---------
    
    Co-authored-by: Claude Opus 4.6 <[email protected]>
---
 .github/workflows/miri.yml | 18 ++++++++++--------
 1 file changed, 10 insertions(+), 8 deletions(-)

diff --git a/.github/workflows/miri.yml b/.github/workflows/miri.yml
index ea36e1359..c9ee6abdd 100644
--- a/.github/workflows/miri.yml
+++ b/.github/workflows/miri.yml
@@ -28,14 +28,16 @@ on:
       - "native/core/benches/**"
       - "native/spark-expr/benches/**"
       - "spark/src/test/scala/org/apache/spark/sql/benchmark/**"
-  pull_request:
-    paths-ignore:
-      - "doc/**"
-      - "docs/**"
-      - "**.md"
-      - "native/core/benches/**"
-      - "native/spark-expr/benches/**"
-      - "spark/src/test/scala/org/apache/spark/sql/benchmark/**"
+# Disabled until Miri compatibility is restored
+# https://github.com/apache/datafusion-comet/issues/3499
+#  pull_request:
+#    paths-ignore:
+#      - "doc/**"
+#      - "docs/**"
+#      - "**.md"
+#      - "native/core/benches/**"
+#      - "native/spark-expr/benches/**"
+#      - "spark/src/test/scala/org/apache/spark/sql/benchmark/**"
   # manual trigger
   # 
https://docs.github.com/en/actions/managing-workflow-runs/manually-running-a-workflow
   workflow_dispatch:


---------------------------------------------------------------------
To unsubscribe, e-mail: [email protected]
For additional commands, e-mail: [email protected]

Reply via email to