Merge branch 'master' into update_linter

dedis · Mar 9, 2023 · 415a199 · 415a199
2 parents 85cebca + 5c64329
commit 415a199
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.github/workflows/test_on_pr.yml b/.github/workflows/test_on_pr.yml
@@ -57,7 +57,7 @@ jobs:
     - name: Test with coverage
       if: matrix.platform == 'ubuntu-latest'
       run: make coverage
-        
+
     - name: SonarCloud scan
       if: matrix.platform == 'ubuntu-latest'
       uses: sonarsource/sonarcloud-github-action@master
@@ -76,3 +76,4 @@ jobs:
           -Dsonar.c.file.suffixes=-
           -Dsonar.cpp.file.suffixes=-
           -Dsonar.objc.file.suffixes=-
+