Separating CI into daily and PR/push tasks#43

Merged

villesundell merged 1 commit intoMystenLabs:mainfrom villesundell:ci-separation

Sep 19, 2022

+21-16

Commits on Sep 16, 2022

Separating CI to daily and PR/push tasks
villesundell
committed