sdf-jkl commented on code in PR #11631: URL: https://github.com/apache/arrow-rs/pull/11631#discussion_r4327190037
########## .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: added here -- https://github.com/apache/arrow-rs/pull/11631/commits/0382fa20f962572f47a9251aa48f2d85f5d02a6c ########## .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: added here https://github.com/apache/arrow-rs/pull/11631/commits/0382fa20f962572f47a9251aa48f2d85f5d02a6c -- 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]
