Skip to content

ci: big ⚠️ to ensure the CNAME file is always there#12853

Merged
bors merged 1 commit intorust-lang:masterfrom
weihanglo:cname-warning
Oct 19, 2023
Merged

ci: big ⚠️ to ensure the CNAME file is always there#12853
bors merged 1 commit intorust-lang:masterfrom
weihanglo:cname-warning

Commits

Commits on Oct 19, 2023