Remove duplicate CI file

This commit is contained in:
Donncha Ó Cearbhaill committed 2024-09-30 13:34:56 +02:00
1 parent 2c4c92f510
commit 5225600396
3 files changed
+11 -54

No files matched your search

+10 -1
View File
@@ -26,4 +26,13 @@ jobs:
make test-requirements
- name: Test with pytest
run: |
make test-ci
set -o pipefail
make test-ci | tee pytest-coverage.txt
- name: Pytest coverage comment
continue-on-error: true # Workflows running on a fork can't post comments
uses: MishaKav/pytest-coverage-comment@main
if: github.event_name == 'pull_request'
with:
pytest-coverage-path: ./pytest-coverage.txt
junitxml-path: ./pytest.xml