Skip to content

Broaden strict Copilot read allowlists for SPDD and Formal Spec workflows#40902

Merged
pelikhan merged 2 commits into
mainfrom
copilot/aw-failures-fix-workflow-allowlists
Jun 23, 2026
Merged

Broaden strict Copilot read allowlists for SPDD and Formal Spec workflows#40902
pelikhan merged 2 commits into
mainfrom
copilot/aw-failures-fix-workflow-allowlists

Fix strict workflow read allowlists

4296e83
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar