bnjbvr opened PR #2215 from ci-x64-script
to main
:
A first step to make it easier to collectively look into x64 CI failures, until we can re-enable CI. This is mostly the content of what was in the
main.yml
file, but as a script that we'll be able to use in the yml configuration, and it's more dev-friendly.
abrown submitted PR Review.
abrown submitted PR Review.
abrown created PR Review Comment:
--exclude peepmatic-test \ --exclude peepmatic-souper \ --exclude lightbeam
I ran this and realized that there is an additional crate to ignore to avoid running into issues if
z3
(required by peepmatic) is not installed locally.
bnjbvr updated PR #2215 from ci-x64-script
to main
:
A first step to make it easier to collectively look into x64 CI failures, until we can re-enable CI. This is mostly the content of what was in the
main.yml
file, but as a script that we'll be able to use in the yml configuration, and it's more dev-friendly.
bnjbvr merged PR #2215.
Last updated: Nov 22 2024 at 16:03 UTC