Fix mistake in github action

This commit is contained in:
2024-06-08 12:36:56 +02:00
parent 8f7f605670
commit 7ee9896734

View File

@@ -34,7 +34,7 @@ jobs:
make make
ctest -C Release --output-on-failure --test-dir tests ctest -C Release --output-on-failure --test-dir tests
cd .. cd ..
gcovr -f CPPFImdlp.cpp -f Metrics.cpp -f BinDisc.cpp --txt --sonarqube=coverage.xml gcovr -f CPPFImdlp.cpp -f Metrics.cpp -f BinDisc.cpp -f Discretizer.cpp --txt --sonarqube=coverage.xml
- name: Run sonar-scanner - name: Run sonar-scanner
env: env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}