Rename time-series file to timeseries

2025-12-17 01:03:14 +01:00 · 2021-06-08 08:50:32 +02:00
parent d0ec1e2f37
commit c6cb7c6eed
2 changed files with 1 additions and 1 deletions
--- a/.github/workflows/csv-coverage-timeseries.yml
+++ b/.github/workflows/csv-coverage-timeseries.yml
@@ -32,7 +32,7 @@ jobs:
      run: unzip -d codeql-cli codeql-linux64.zip
    - name: Build modeled package list
      run: |
-        PATH="$PATH:codeql-cli/codeql" python script/misc/scripts/library-coverage/generate-time-series.py codeqlModels
+        PATH="$PATH:codeql-cli/codeql" python script/misc/scripts/library-coverage/generate-timeseries.py codeqlModels
    - name: Upload timeseries CSV
      uses: actions/upload-artifact@v2
      with:
--- a/misc/scripts/library-coverage/generate-time-series.py
+++ b/misc/scripts/library-coverage/generate-time-series.py