Skip to content

feat(formal-spec): add PRECOND_BlockedUsersRequireMinIntegrity to access-control formal model - #45103

Closed
pelikhan with Copilot wants to merge 2 commits into
mainfrom
copilot/github-mcp-access-control-compliance
Closed

feat(formal-spec): add PRECOND_BlockedUsersRequireMinIntegrity to access-control formal model#45103
pelikhan with Copilot wants to merge 2 commits into
mainfrom
copilot/github-mcp-access-control-compliance

feat: add TestFormal_BlockedUsersRequireMinIntegrity and PRECOND cove…

efffaa7
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar