ci: harden SCIP workflow permissions#163

grtninja wants to merge 1 commit intosourcegraph:mastersourcegraph/checkup:masterfrom

grtninja:codex/ci-harden-scip-workflowgrtninja/checkup:codex/ci-harden-scip-workflowCopy head branch name to clipboard