Rename workflow to appease badges

This commit is contained in:
Wilson Snyder 2020-12-04 17:11:00 -05:00
parent 85b2c6b6c7
commit b9f2400d17

View File

@ -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: