alamb commented on code in PR #11631:
URL: https://github.com/apache/arrow-rs/pull/11631#discussion_r4326424362
##########
.github/workflows/ci.yml:
##########
@@ -131,15 +126,14 @@ jobs:
- dev
- rust
- docs
- - miri
runs-on: ubuntu-slim
steps:
- name: Summarize suite results
env:
NEEDS: ${{ toJSON(needs) }}
run: echo "$NEEDS"
- # Path-filtered suites and Miri outside the queue are intentionally
- # skipped. A failed/cancelled selector or suite must still block merging.
+ # Path-filtered suites are intentionally skipped. A failed/cancelled
Review Comment:
Can we add a link in this comment to the relevant issue
https://github.com/apache/arrow-rs/issues/11548
In a follow on PR?
##########
.github/workflows/miri.yaml:
##########
@@ -17,9 +17,9 @@
name: miri
-# Triggered by ci.yml, which owns event routing and concurrency.
+# Run on demand, including before cutting a release candidate.
Review Comment:
Recommend adding a note here: https://github.com/apache/arrow-rs/issues/11548
--
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.
To unsubscribe, e-mail: [email protected]
For queries about this service, please contact Infrastructure at:
[email protected]
