]> git.ipfire.org Git - thirdparty/git.git/commitdiff
projects / thirdparty / git.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: c7db432 3167b60)
Merge branch 'js/ci-use-macos-13'
authorJohannes Schindelin <johannes.schindelin@gmx.de>
Wed, 10 Apr 2024 17:25:02 +0000 (19:25 +0200)
committerJohannes Schindelin <johannes.schindelin@gmx.de>
Tue, 16 Apr 2024 21:59:03 +0000 (23:59 +0200)
Replace macos-12 used at GitHub CI with macos-13.

* js/ci-use-macos-13:
  ci: upgrade to using macos-13

This is another backport to `maint-2.39` to allow less CI jobs to break.

Signed-off-by: Johannes Schindelin <Johannes.Schindelin@gmx.de>

Trivial merge
Unnamed repository; edit this file 'description' to name the repository.