chore(ci): small fixups

This commit is contained in:
Ettore Di Giacinto
2025-03-05 22:22:10 +01:00
parent 311c0bb5ee
commit bf8d8be5ad
2 changed files with 2 additions and 2 deletions

View File

@@ -15,7 +15,7 @@ jobs:
uses: actions/checkout@v2
- name: Run tests
run: |
make test
make tests
sudo mv coverage/coverage.txt coverage.txt
sudo chmod 777 coverage.txt