Update documentation

This commit is contained in:
Jakub Beránek 2025-02-11 13:21:40 +01:00
parent 1a0970d4ce
commit 7f154fa4d1
No known key found for this signature in database
GPG key ID: 909CD0D26483516B
5 changed files with 18 additions and 9 deletions

View file

@ -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
# script located at src/ci/citool, which
# The actual definition of the executed jobs is calculated by the
# `src/ci/citool` crate, 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.