Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/onqtam/doctest.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSalvage <29021710+Saalvage@users.noreply.github.com>2022-01-25 05:54:58 +0300
committerSalvage <29021710+Saalvage@users.noreply.github.com>2022-01-25 05:54:58 +0300
commit55e95707e0f5176776fef7cbc97fb4c85f6513b0 (patch)
treeb1007c53e94497b1522ad9f7e93020dc185f9453 /.github
parent71841702572f6e645842c7979fbcdceac32f372e (diff)
Remove coverage PR filter
Diffstat (limited to '.github')
-rw-r--r--.github/workflows/main.yml1
1 files changed, 0 insertions, 1 deletions
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index 28ebe1aa..6f1de070 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -20,7 +20,6 @@ env:
jobs:
coverage:
- if: github.event_name == 'push' || github.event.pull_request.head.repo.full_name != github.repository
runs-on: ubuntu-latest
steps: