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: Jan 24 2025 at 00:11 UTC