Skip to content

Commit c885d14

Browse files
committed
ci: delete pr-differences-mutant workflow, #6136
1 parent 7058924 commit c885d14

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)