ci: expose distro name in dockerized GitHub jobs
commitab2b3aadf322fccffeaabe7470e1b5905537a888
authorPatrick Steinhardt <ps@pks.im>
Fri, 12 Apr 2024 04:44:02 +0000 (12 06:44 +0200)
committerJunio C Hamano <gitster@pobox.com>
Fri, 12 Apr 2024 15:47:50 +0000 (12 08:47 -0700)
tree9267bfa53f5169f01b0df38d9b4971344c612137
parent2d65e5b6a624e9642c4d765a861cf291095adc72
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>
.github/workflows/main.yml