chore: Pin GitHub actions to a hash#136

pravindahal merged 1 commit intomaincoopnorge/github-workflow-techdocs:mainfrom

pravindahal/chore/Pin-GitHub-actions-to-a-hashcoopnorge/github-workflow-techdocs:pravindahal/chore/Pin-GitHub-actions-to-a-hashCopy head branch name to clipboard