diff options
| author | Jakub Beránek <berykubik@gmail.com> | 2025-02-11 13:14:42 +0100 |
|---|---|---|
| committer | Jakub Beránek <berykubik@gmail.com> | 2025-02-17 12:27:44 +0100 |
| commit | 87c49f025f55c7efac5db30501f7a5255eba895b (patch) | |
| tree | e8c80542b6680a0b2444ef0163eba8921c2737db /.github | |
| parent | a789f9e283e26e07a10680dad0d4533b5a33ded9 (diff) | |
| download | rust-87c49f025f55c7efac5db30501f7a5255eba895b.tar.gz rust-87c49f025f55c7efac5db30501f7a5255eba895b.zip | |
Use citool in CI
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/ci.yml | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 0934e42b277..b936028fa2e 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -1,8 +1,8 @@ # This file defines our primary CI workflow that runs on pull requests # and also on pushes to special branches (auto, try). # -# The actual definition of the executed jobs is calculated by a Python -# script located at src/ci/github-actions/ci.py, which +# The actual definition of the executed jobs is calculated by a +# script located at src/ci/citool, which # uses job definition data from src/ci/github-actions/jobs.yml. # You should primarily modify the `jobs.yml` file if you want to modify # what jobs are executed in CI. @@ -56,7 +56,9 @@ jobs: - name: Calculate the CI job matrix env: COMMIT_MESSAGE: ${{ github.event.head_commit.message }} - run: python3 src/ci/github-actions/ci.py calculate-job-matrix >> $GITHUB_OUTPUT + run: | + cd src/ci/citool + cargo run calculate-job-matrix >> $GITHUB_OUTPUT id: jobs job: name: ${{ matrix.full_name }} |