Revert "bootstrap: do not purge docs on CI environment"#117533
Merged
bors merged 1 commit intorust-lang:masterfrom Nov 3, 2023
Merged
Revert "bootstrap: do not purge docs on CI environment"#117533bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom