Rename install_deps.sh to install-deps.sh for consistency

This commit is contained in:
Rangi
2026-07-10 23:12:49 -04:00
committed by Rangi
parent 226031c18b
commit a383bec96e
5 changed files with 11 additions and 11 deletions
+1 -1
View File
@@ -17,7 +17,7 @@ jobs:
uses: actions/checkout@v7
- name: Install deps
run: |
.github/scripts/install_deps.sh ubuntu-latest lcov
.github/scripts/install-deps.sh ubuntu-latest lcov
- name: Generate coverage report
run: |
contrib/coverage.bash --os ubuntu-latest --jobs "$(getconf _NPROCESSORS_ONLN)"