diff options
author | Clement Tsang <34804052+ClementTsang@users.noreply.github.com> | 2022-11-06 03:44:02 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-11-06 03:44:02 -0500 |
commit | 7ae8e66a3a43d126e95d0ce977be93ed4e4949f6 (patch) | |
tree | 7f1a55bf27aeed38758cfb146603cc4df0d9f458 /docs | |
parent | 29bc0b67bae1598cae1fa5202dae3999c7c05f69 (diff) |
ci: add cache clearing to PR merges (#874)
* ci: add cache clearing to PR merges
* some renaming
* small change to force cache
* add manual run option
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions