diff --git a/.github/workflows/check_pr.yml b/.github/workflows/build.yml similarity index 91% rename from .github/workflows/check_pr.yml rename to .github/workflows/build.yml index d7321e903..d9a476246 100644 --- a/.github/workflows/check_pr.yml +++ b/.github/workflows/build.yml @@ -1,6 +1,12 @@ -name: Verilator PR CI +# DESCRIPTION: Github actions config +# This name is key to badges in README.adoc, so we use the name build +name: build -on: push +on: + push: + pull_request: + schedule: + - cron: '0 0 * * 0' # weekly jobs: vlt: