Skip to content

ci: Configure $CI_JOB_NAME correctly#62535

Merged
bors merged 1 commit intorust-lang:masterfrom
alexcrichton:ci-job-name
Jul 10, 2019

Commits

Commits on Jul 9, 2019