Set commit sha instead of version of github actions#825

tpadioleau merged 1 commit intomainCExA-project/ddc:mainfrom

gh-actions-versions-to-shaCExA-project/ddc:gh-actions-versions-to-shaCopy head branch name to clipboard