Update example to include a cron scheduler

runtimeverification · Jan 24, 2024 · 5c1bef0 · 5c1bef0
1 parent 93092fd
commit 5c1bef0
Showing 1 changed file with 4 additions and 3 deletions.
diff --git a/README.md b/README.md
@@ -14,9 +14,10 @@ From the repository the workflow is running from it will require a JSON file cal
 In .github/workflows/automerge.yml
 ```yaml
 name: Test Workflow
-
-on: [push, pull_request, workflow_dispatch]
-
+on:
+  workflow_dispatch:
+  schedule:
+    - cron: '*/20 * * * *'
 jobs:
   list:
     name: 'List Repos'