diff options
| author | Patrick Steinhardt <ps@pks.im> | 2024-04-12 06:43:57 +0200 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2024-04-12 17:47:49 +0200 |
| commit | 2d65e5b6a624e9642c4d765a861cf291095adc72 (patch) | |
| tree | 94a68a1572c2925fc0461e943e60534a2187c29f /.github/workflows/main.yml | |
| parent | The fifteenth batch (diff) | |
| download | git-2d65e5b6a624e9642c4d765a861cf291095adc72.tar.xz git-2d65e5b6a624e9642c4d765a861cf291095adc72.zip | |
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>
Diffstat (limited to '.github/workflows/main.yml')
| -rw-r--r-- | .github/workflows/main.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 3428773b09..684ef5c00d 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -303,7 +303,7 @@ jobs: CC: ${{matrix.vector.cc}} CC_PACKAGE: ${{matrix.vector.cc_package}} jobname: ${{matrix.vector.jobname}} - runs_on_pool: ${{matrix.vector.pool}} + distro: ${{matrix.vector.pool}} runs-on: ${{matrix.vector.pool}} steps: - uses: actions/checkout@v4 |