From b9f2400d17f086bca1cdc378c771f7caa9a1ff56 Mon Sep 17 00:00:00 2001
From: Wilson Snyder <wsnyder@wsnyder.org>
Date: Fri, 4 Dec 2020 17:11:00 -0500
Subject: [PATCH] Rename workflow to appease badges

---
 .github/workflows/{check_pr.yml => build.yml} | 10 ++++++++--
 1 file changed, 8 insertions(+), 2 deletions(-)
 rename .github/workflows/{check_pr.yml => build.yml} (91%)

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: