Skip to content

Fix fallback for CI_JOB_NAME#143786

Merged
bors merged 1 commit into
rust-lang:masterfrom
nikic:ci-job-name-fallback
Jul 13, 2025
Merged

Fix fallback for CI_JOB_NAME#143786
bors merged 1 commit into
rust-lang:masterfrom
nikic:ci-job-name-fallback