]> git.ipfire.org Git - thirdparty/git.git/commit
projects / thirdparty / git.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 19981da) | patch
ci: rename "runs_on_pool" to "distro"
authorPatrick Steinhardt <ps@pks.im>
Fri, 12 Apr 2024 04:43:57 +0000 (06:43 +0200)
committerJunio C Hamano <gitster@pobox.com>
Fri, 12 Apr 2024 15:47:49 +0000 (08:47 -0700)
commit2d65e5b6a624e9642c4d765a861cf291095adc72
tree94a68a1572c2925fc0461e943e60534a2187c29ftree
parent19981daefd7c147444462739375462b49412ce33commit | diff
ci: rename "runs_on_pool" to "distro"

The "runs_on_pool" environment variable is used by our CI scripts to
distinguish the different kinds of operating systems. It is quite
specific to GitHub Actions though and not really a descriptive name.

Rename the variable to "distro" to clarify its intent.

Signed-off-by: Patrick Steinhardt <ps@pks.im>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
.github/workflows/main.yml diff | blob | blame | history
ci/install-dependencies.sh diff | blob | blame | history
ci/lib.sh diff | blob | blame | history
Unnamed repository; edit this file 'description' to name the repository.