Restrict workflow permissions to read-only#155

feliperodri merged 2 commits intomodel-checking:mainmodel-checking/kani-vscode-extension:mainfrom

tautschnig:add-workflow-permissionstautschnig/kani-vscode-extension:add-workflow-permissionsCopy head branch name to clipboard