1
73%
master: 73%

Ran 24 Jul 2025 11:32AM UTC

Files 24

Run time 1s

Badge

Embed ▾

Committed 24 Jul 2025 11:31AM UTC coverage: 72.631%. Remained the same

Job # 16495683682.1

Build Type

push

github

Committed by

web-flow

Commit Message

Don't delete temp branch in worker (#219)

Don't delete current branch in CI worker to avoid error:

```
mantis 0.3.26 => 0.3.27
[_tmp_master 49b19c7] temp version bump
 2 files changed, 2 insertions(+), 2 deletions(-)
Your branch is ahead of 'origin/master' by 1 commit.
  (use "git push" to publish your local commits)
✅ PR branch matches a clean version bump from master.
error: cannot delete branch '_tmp_master' used by worktree at '/home/runner/work/mantis/mantis'
Error: Process completed with exit code 1.
```

Run Details

1027 of 1414 relevant lines covered (72.63%)

0.73 hits per line

casperlehmann / mantis / 16495683682 / 1
73%
master: 73%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 16495683682.1

casperlehmann / mantis / 16495683682 / 1 73% master: 73%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 16495683682.1

casperlehmann / mantis / 16495683682 / 1
73%
master: 73%

README BADGES
x