test #62
Loading…
Reference in a new issue
No description provided.
Delete branch "pr-feedback"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
$(cat /tmp/pull-request-comment)
$output
```
Escaped mutants:
Timed Out mutants:
Skipped mutants:
Not Covered mutants:
Total: 315
Killed: 315
Errored: 0
Syntax Errors: 0
Escaped: 0
Timed Out: 0
Skipped: 0
Ignored: 0
Not Covered: 0
```
aa33708dee
to441568bdb7