New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

ci: Fail Miri CI on first failure #5243

Merged

tustvold merged 2 commits into apache:master from Jefffrey:fix_miri_ci

Dec 26, 2023

Contributor

Jefffrey commented Dec 25, 2023

Which issue does this PR close?

Closes #5159

Rationale for this change

What changes are included in this PR?

Are there any user-facing changes?


          Fail Miri CI on first failure

e7b5fd1

Contributor Author

Jefffrey commented Dec 25, 2023

With just adding the set -e the Miri CI check fails as expected: https://github.com/apache/arrow-rs/actions/runs/7321312775/job/19941544005?pr=5243


          Ignore crates with asm

548373d

Jefffrey marked this pull request as ready for review

December 25, 2023 11:18

Contributor

tustvold commented Dec 26, 2023

Thank you

tustvold merged commit ff951b4 into apache:master

Jefffrey deleted the fix_miri_ci branch

December 26, 2023 20:26

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet