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: Jan 10 2026 at 20:04 UTC