]> git.99rst.org Git - git.git/commitdiff
Merge branch 'ds/github-actions-use-newer-ubuntu' into maint
authorJunio C Hamano <redacted>
Tue, 13 Sep 2022 19:21:10 +0000 (12:21 -0700)
committerJunio C Hamano <redacted>
Tue, 13 Sep 2022 19:21:10 +0000 (12:21 -0700)
Update the version of Ubuntu used for GitHub Actions CI from 18.04
to 22.04.

* ds/github-actions-use-newer-ubuntu:
  ci: update 'static-analysis' to Ubuntu 22.04


Trivial merge
git clone https://git.99rst.org/PROJECT