Skip to content

Commit ac5957d

Browse files
committed
ci: disable mutants on PRs
1 parent 9b48330 commit ac5957d

File tree

1 file changed

+9
-8
lines changed

1 file changed

+9
-8
lines changed

.github/workflows/pr-differences-mutants.yml

Lines changed: 9 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -1,14 +1,15 @@
11
name: PR Differences Mutants
22

33
on:
4-
pull_request:
5-
types:
6-
- opened
7-
- reopened
8-
- synchronize
9-
- ready_for_review
10-
paths:
11-
- '**.rs'
4+
# Disabling PR mutants (issue #5806)
5+
# pull_request:
6+
# types:
7+
# - opened
8+
# - reopened
9+
# - synchronize
10+
# - ready_for_review
11+
# paths:
12+
# - '**.rs'
1213
workflow_dispatch:
1314

1415
concurrency:

0 commit comments

Comments
 (0)