Update CI to install circt | Update every day

This commit is contained in:
abejgonzalez
2023-11-30 16:09:42 -08:00
parent 990cea9c8e
commit d2b3181e48
3 changed files with 21 additions and 22 deletions

View File

@@ -1,9 +1,9 @@
name: update-circt
# run weekly
on: push
# schedule:
# - cron: 0 0 * * 1
# run daily
on:
schedule:
- cron: 0 8 * * *
defaults:
run: