diff options
| author | Chris Denton <chris@chrisdenton.dev> | 2025-07-18 18:33:23 +0000 |
|---|---|---|
| committer | Chris Denton <chris@chrisdenton.dev> | 2025-07-18 18:33:23 +0000 |
| commit | 58a05caa457738d99fcee06aaa821317ea4015fb (patch) | |
| tree | 284dbf980ec186f15c9a5ffcc8172f811e8c397a /src | |
| parent | 82310651b93a594a3fd69015e1562186a080d94c (diff) | |
| download | rust-58a05caa457738d99fcee06aaa821317ea4015fb.tar.gz rust-58a05caa457738d99fcee06aaa821317ea4015fb.zip | |
Rename optional-mingw-check to optional-pr-check
Diffstat (limited to 'src')
| -rw-r--r-- | src/ci/github-actions/jobs.yml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/ci/github-actions/jobs.yml b/src/ci/github-actions/jobs.yml index f0c52fe3d1c..0a6ebe44b3d 100644 --- a/src/ci/github-actions/jobs.yml +++ b/src/ci/github-actions/jobs.yml @@ -172,9 +172,9 @@ 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 + - name: optional-pr-check-1 env: - IMAGE: mingw-check-1 + IMAGE: pr-check-1 <<: *job-linux-4c # Main CI jobs that have to be green to merge a commit into master |