summaryrefslogtreecommitdiffstats
path: root/scripts
AgeCommit message (Expand)Author
2022-11-06ci: add log line for cache clearingClementTsang
2022-11-06ci: add cache clearing to PR merges (#874)Clement Tsang
2022-11-06ci: rename deployment folder to scripts (#873)Clement Tsang