From 65bb370e317e4878feeb8da0ec2e15f95be7f133 Mon Sep 17 00:00:00 2001 From: Carolyn Zech Date: Tue, 14 Jan 2025 10:24:43 -0500 Subject: [PATCH] run cronjob weekly instead --- .github/workflows/kani-metrics.yml | 2 +- scripts/kani-std-analysis/kani_std_analysis.py | 2 +- scripts/kani-std-analysis/requirements.txt | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/.github/workflows/kani-metrics.yml b/.github/workflows/kani-metrics.yml index e43e839db247e..84945e236a4ed 100644 --- 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 index 09bb219d899f9..5371ebc4b7d7a 100755 --- 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() \ No newline at end of file + main() diff --git a/scripts/kani-std-analysis/requirements.txt b/scripts/kani-std-analysis/requirements.txt index 4b43f7e68658e..6ccafc3f904ba 100644 --- a/scripts/kani-std-analysis/requirements.txt +++ b/scripts/kani-std-analysis/requirements.txt @@ -1 +1 @@ -matplotlib \ No newline at end of file +matplotlib