Merge pull request #2910 from cgwalters/more-ci-fixes
authorColin Walters <walters@verbum.org>
Thu, 29 Jun 2023 06:38:00 +0000 (02:38 -0400)
committerGitHub <noreply@github.com>
Thu, 29 Jun 2023 06:38:00 +0000 (02:38 -0400)
ci: Fix executability


Trivial merge