Merge pull request #20700 from jefferyto/ci-autoremove
authorJeffery To <jeffery.to@gmail.com>
Thu, 30 Mar 2023 04:17:57 +0000 (12:17 +0800)
committerGitHub <noreply@github.com>
Thu, 30 Mar 2023 04:17:57 +0000 (12:17 +0800)
commitc7331194cb93a5d459e0ef9ea9af99a01f1eef1d
tree71b5fc3324a0c64f210bf8268379321898e8fee9
parent9da8dae1f7129bd7cc0cd5255d961112e175a791
parentf0d5e470e1bc2644d86007342473b935ca18fdce
Merge pull request #20700 from jefferyto/ci-autoremove

CI: Add --autoremove, ignore removal errors