ci: pin GitHub Actions commit hash#197

endersonmaia wants to merge 1 commit intomaincartesi/cli:mainfrom

ci/pin-actions-commit-hash-to-maincartesi/cli:ci/pin-actions-commit-hash-to-mainCopy head branch name to clipboard