Merge pull request #2566 from cgwalters/ci-update
authorJonathan Lebon <jonathan@jlebon.com>
Mon, 14 Mar 2022 19:24:23 +0000 (15:24 -0400)
committerGitHub <noreply@github.com>
Mon, 14 Mar 2022 19:24:23 +0000 (15:24 -0400)

Trivial merge