Merge pull request #1681 from dunxen/2022-08-githubactionsfix
authorJeffrey Czyz <jkczyz@gmail.com>
Tue, 23 Aug 2022 14:22:48 +0000 (09:22 -0500)
committerGitHub <noreply@github.com>
Tue, 23 Aug 2022 14:22:48 +0000 (09:22 -0500)
Workaround GH Actions issue for 1.45


Trivial merge