diff options
| author | MarcoIeni <11428655+MarcoIeni@users.noreply.github.com> | 2025-07-01 11:25:10 +0200 |
|---|---|---|
| committer | MarcoIeni <11428655+MarcoIeni@users.noreply.github.com> | 2025-07-01 11:25:10 +0200 |
| commit | 311a99cac46b5366fc9a26a4fa4cb66a3ea5fac6 (patch) | |
| tree | cb39dcadc4da58e3700221ad2e8c0c08c691d0e4 /src/ci/github-actions | |
| parent | f46ce66fcc3d6058f90ac5bf0930f940f1e7b0ca (diff) | |
| download | rust-311a99cac46b5366fc9a26a4fa4cb66a3ea5fac6.tar.gz rust-311a99cac46b5366fc9a26a4fa4cb66a3ea5fac6.zip | |
ci: support optional jobs
Diffstat (limited to 'src/ci/github-actions')
| -rw-r--r-- | src/ci/github-actions/jobs.yml | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/src/ci/github-actions/jobs.yml b/src/ci/github-actions/jobs.yml index 3aa435003d3..1e253131c1a 100644 --- a/src/ci/github-actions/jobs.yml +++ b/src/ci/github-actions/jobs.yml @@ -160,6 +160,17 @@ pr: try: - <<: *job-dist-x86_64-linux +# Jobs that only run when explicitly invoked in one of the following ways: +# - comment `@bors2 try jobs=<job-name>` +# - `try-job: <job-name>` in the PR description and comment `@bors try` or `@bors2 try`. +optional: + # This job is used just to test optional jobs. + # It will be replaced by tier 2 and tier 3 jobs in the future. + - name: optional-mingw-check-1 + env: + IMAGE: mingw-check-1 + <<: *job-linux-4c + # Main CI jobs that have to be green to merge a commit into master # These jobs automatically inherit envs.auto, to avoid repeating # it in each job definition. |