Skip to content

Commit 391262c

Browse files
authored
Merge pull request #6137 from fdefelici/ci/fix-pr-diffs-workflow
ci: delete `pr-differences-mutants` workflow
2 parents fd029be + c885d14 commit 391262c

File tree

1 file changed

+0
-245
lines changed

1 file changed

+0
-245
lines changed

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

Lines changed: 0 additions & 245 deletions
This file was deleted.

0 commit comments

Comments
 (0)