Skip to content

Fix ci_url might be None#17332

Merged
ydshieh merged 3 commits intomainfrom
fix_ci_url_none
May 18, 2022
Merged

Fix ci_url might be None#17332
ydshieh merged 3 commits intomainfrom
fix_ci_url_none

Commits

Commits on May 18, 2022