Only check pytket coverage for PRs to develop. (#1198)

CQCL · Jan 8, 2024 · cf1f24a · cf1f24a
1 parent e1ddb5f
commit cf1f24a
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/.github/workflows/build_and_test.yml b/.github/workflows/build_and_test.yml
@@ -555,7 +555,7 @@ jobs:
   check_pytket_coverage:
     name: Check pytket line and branch coverage
     needs: build_test_pytket_ubuntu
-    if: github.event_name == 'pull_request' || github.event_name == 'workflow_dispatch'
+    if: (github.event_name == 'pull_request' && github.event.pull_request.base.ref == 'develop') || github.event_name == 'workflow_dispatch'
     runs-on: ubuntu-22.04
     steps:
     - uses: actions/checkout@v4

diff --git a/.github/workflows/compare-pytket-coverage b/.github/workflows/compare-pytket-coverage
@@ -69,9 +69,9 @@ def compare(old_cov_file, new_cov_file):
     print(f"Branch coverage: {new_branch_rate}")
     print()
 
-    if new_line_rate < old_line_rate:
+    if new_line_rate + 0.01 < old_line_rate:
         sys.exit("Line coverage has decreased!")
-    if new_branch_rate < old_branch_rate:
+    if new_branch_rate + 0.01 < old_branch_rate:
         sys.exit("Branch coverage has decreased!")