ci: scope down GitHub Token permissions#11

AdnaneKhan wants to merge 1 commit intomodel-checking:mainmodel-checking/cbmc-proof-debugger:mainfrom

AdnaneKhan:update/scopedown-tokenAdnaneKhan/cbmc-proof-debugger:update/scopedown-tokenCopy head branch name to clipboard