diff options
author | Patrick Steinhardt <ps@pks.im> | 2024-04-12 06:44:02 +0200 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2024-04-12 08:47:50 -0700 |
commit | ab2b3aadf322fccffeaabe7470e1b5905537a888 (patch) | |
tree | 9267bfa53f5169f01b0df38d9b4971344c612137 /commit.c | |
parent | 2d65e5b6a624e9642c4d765a861cf291095adc72 (diff) |
ci: expose distro name in dockerized GitHub jobs
Expose a distro name in dockerized jobs. This will be used in a
subsequent commit where we merge the installation scripts for dockerized
and non-dockerized jobs.
Signed-off-by: Patrick Steinhardt <ps@pks.im>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'commit.c')
0 files changed, 0 insertions, 0 deletions