Add a cron job to run CI every 30 days (Fixes #128 empty commit) (#136)

Signed-off-by: Cheng Ho Ming, Eric <eric310@connect.hku.hk>
eric15342335 · Jun 10, 2024 · f9c57c8 · f9c57c8
1 parent 9ebc8e0
commit f9c57c8
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/.github/workflows/make.yml b/.github/workflows/make.yml
@@ -1,7 +1,10 @@
 name: CI
 
 on:
-    [push, workflow_dispatch]
+  push:
+  workflow_dispatch:
+  schedule:
+      - cron: "43 17 1 * *"
 
 jobs:
   build-and-test: