user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Rename optional-mingw-check to optional-pr-check

Browse source
This commit is contained in:
Chris Denton 2025-07-18 18:33:23 +00:00
parent 82310651b9
commit 58a05caa45
No known key found for this signature in database
GPG key ID: 713472F2F45627DE
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/ci/github-actions/jobs.yml
View file

@ -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