github: remove `publish_results` field in wrong place
When I read
for
it seems like I misread the "for" as "and" in "`include
id-token: write` for `publish_results: true`". The latter is not a
permissions, it's another setting we have defined further down.
@@ -18,7 +18,6 @@ jobs:
# Needed to upload the results to code-scanning dashboard.
security-events: write
id-token: write
- publish_results: true
steps:
- name: "Checkout code"
