summaryrefslogtreecommitdiffstats
path: root/scripts
AgeCommit message (Collapse)Author
2022-11-06ci: add log line for cache clearingClementTsang
2022-11-06ci: add cache clearing to PR merges (#874)Clement Tsang
* ci: add cache clearing to PR merges * some renaming * small change to force cache * add manual run option
2022-11-06ci: rename deployment folder to scripts (#873)Clement Tsang