Fix CIRCT installer path | Run CRON every 15m

This commit is contained in:
abejgonzalez
2023-12-07 11:00:59 -08:00
parent f3c3ecf149
commit 551c096bc9
4 changed files with 9 additions and 7 deletions

View File

@@ -3,7 +3,8 @@ name: update-circt
# run daily
on:
schedule:
- cron: 0 8 * * *
- cron: 0,15,30,45 * * * *
#- cron: 0 8 * * *
defaults:
run: