Skip to content

Better CI workflow with Permissions check as a short circuit#143

Merged
robgruen merged 27 commits intomainfrom
dev/robgruen/workflow_gate2
Dec 31, 2025
Merged

Better CI workflow with Permissions check as a short circuit#143
robgruen merged 27 commits intomainfrom
dev/robgruen/workflow_gate2

Commits

Commits on Dec 31, 2025