]> git.ipfire.org Git - thirdparty/git.git/commitdiff
projects / thirdparty / git.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 0737200 a69043d)
Merge branch 'backport/jx/ci-ubuntu-fix' into maint-2.30
authorJunio C Hamano <gitster@pobox.com>
Sat, 10 Dec 2022 07:17:47 +0000 (16:17 +0900)
committerJohannes Schindelin <johannes.schindelin@gmx.de>
Wed, 22 Mar 2023 17:00:35 +0000 (18:00 +0100)
Adjust the GitHub CI to newer ubuntu release.

* jx/ci-ubuntu-fix:
  github-actions: run gcc-8 on ubuntu-20.04 image
  ci: install python on ubuntu
  ci: use the same version of p4 on both Linux and macOS
  ci: remove the pipe after "p4 -V" to catch errors


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