Security/812 switch GitHub actions to shas#813

ArBridgeman wants to merge 10 commits intomainexasol/python-toolbox:mainfrom

security/812_switch_github_actions_to_shasexasol/python-toolbox:security/812_switch_github_actions_to_shasCopy head branch name to clipboard