scripts: Fix coverage

dtcxzyw · Aug 25, 2024 · 342c5e4 · 342c5e4
1 parent aa6dd11
commit 342c5e4
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 1 deletion.
diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml
@@ -1,13 +1,19 @@
 name: Coverage
 
 on:
+  schedule:
+  - cron: "0 0 * * 0"
+
   workflow_dispatch:
 
 jobs:
   coverage:
+    timeout-minutes: 1200
+
     environment:
       name: github-pages
       url: ${{ steps.deployment.outputs.page_url }}
+
     runs-on: self-hosted
 
     permissions:

diff --git a/scripts/gen_optimized_cov.py b/scripts/gen_optimized_cov.py
@@ -28,7 +28,6 @@ def run_opt(input_file):
             if file.endswith('.ll'):
                 work_list.append(os.path.join(original_dir, file))
 
-    work_list=work_list[:100]
     print("total items: ", len(work_list))
     print("threads: ", os.cpu_count())