Merge pull request #20700 from jefferyto/ci-autoremove
authorJeffery To <[email protected]>
Thu, 30 Mar 2023 04:17:57 +0000 (12:17 +0800)
committerGitHub <[email protected]>
Thu, 30 Mar 2023 04:17:57 +0000 (12:17 +0800)
CI: Add --autoremove, ignore removal errors


Trivial merge