Merge pull request #2396 from tnull/2023-07-fix-github-actions