Skip to content

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

Merged
carolynzech merged 3 commits into
model-checking:mainfrom
carolynzech:approval-workflow
May 8, 2025
Merged

Only require two approvals for changes to doc/, library/ or verifast-proofs/#351
carolynzech merged 3 commits into
model-checking:mainfrom
carolynzech:approval-workflow

require two approvals for documentation changes

e616758
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs