Skip to content

Add job_name in build logs for easier debugging#340

Merged
song-william merged 5 commits intomainfrom
wsong/build-log-job-name
Oct 20, 2023
Merged

Add job_name in build logs for easier debugging#340
song-william merged 5 commits intomainfrom
wsong/build-log-job-name

Commits

Commits on Oct 20, 2023