Use minimum required permissions for GitHub workflow
Use minimum required permissions for GitHub workflow

This reduces the attack surface if the workflow is ever compromised.

sharkdp/insect,sharkdp/insect,sharkdp/insect