alexcrichton opened PR #2923 from no-verify-peepmatic to main:
Using
--no-verifyavoids building z3 which should shave at least 10
minutes off CI where theverify-publishbuilder currently takes ~30
minutes.
fitzgen submitted PR review.
alexcrichton merged PR #2923.
Last updated: Dec 13 2025 at 19:03 UTC