alexcrichton opened PR #2923 from no-verify-peepmatic
to main
:
Using
--no-verify
avoids building z3 which should shave at least 10
minutes off CI where theverify-publish
builder currently takes ~30
minutes.
fitzgen submitted PR review.
alexcrichton merged PR #2923.
Last updated: Dec 23 2024 at 13:07 UTC