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

pelikhan merged 2 commits into

maingithub/gh-aw:mainfrom

copilot/aw-failures-fix-workflow-allowlistsgithub/gh-aw:copilot/aw-failures-fix-workflow-allowlistsCopy head branch name to clipboard