Skip to content

Only require two approvals for changes to doc/, library/ or verifast-proofs/ #1718

Only require two approvals for changes to doc/, library/ or verifast-proofs/

Only require two approvals for changes to doc/, library/ or verifast-proofs/ #1718

Triggered via pull request May 7, 2025 16:25
Status Success
Total duration 8m 3s
Artifacts

rustc.yml

on: pull_request
Matrix: upstream_test
Fit to window
Zoom out
Zoom in