run cronjob weekly instead

model-checking · Jan 14, 2025 · 65bb370 · 65bb370
1 parent 679eaff
commit 65bb370
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/.github/workflows/kani-metrics.yml b/.github/workflows/kani-metrics.yml
@@ -2,7 +2,7 @@ name: Kani Metrics Update
 
 on:
   schedule:
-    - cron: '0 0 1,15 * *'  # Run on the 1st and 15th of every month
+    - cron: '0 0 * * 0'  # Run at 00:00 UTC every Sunday
   workflow_dispatch:
 
 defaults:

diff --git a/scripts/kani-std-analysis/kani_std_analysis.py b/scripts/kani-std-analysis/kani_std_analysis.py
@@ -304,4 +304,4 @@ def main():
     metrics.plot()
 
 if __name__ == "__main__":
-    main()
+    main()
diff --git a/scripts/kani-std-analysis/requirements.txt b/scripts/kani-std-analysis/requirements.txt
@@ -1 +1 @@
-matplotlib
+matplotlib
-Original file line number
+Diff line change
@@ Expand Up / @@ -304,4 +304,4 @@ def main(): @@
         metrics.plot()
     if __name__ == "__main__":
-        main()
+        main()