16475550363
73%

Ran 23 Jul 2025 03:53PM UTC

Jobs 1

Files 24

Run time 174min

Badge

Embed ▾

Committed 23 Jul 2025 03:52PM UTC coverage: 72.631%. Remained the same

Build # 16475550363

Build Type

push

github

Committed by

web-flow

Commit Message

Use PAT for creating releases PRs to allow running CI (#180)

PRs that are created using the `github-actions[bot]` will (ironically)
not execute GitHub Actions. See discussion here:
https://github.com/peter-evans/create-pull-request/issues/48

This means that required checks may be stuck waiting on actions to run,
e.g. `build Expected — Waiting for status to be reported`:

<img width="816" height="335" alt="Screenshot 2025-07-23 at 17 39 32"
src="https://github.com/user-attachments/assets/472b6e65-3783-4777-90a7-eb9093977395"
/>

As a workaround, we can add a PAT which means triggering as a user, not
as a bot. Therefore we don't have this limitation.

```yml
      env:
        GITHUB_TOKEN: ${{ secrets.REPO_SCOPED_TOKEN }}
```

Run Details

1027 of 1414 relevant lines covered (72.63%)

0.73 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	16475550363.1	23 Jul 2025 03:53PM UTC	24	72.63	GitHub Action Run

casperlehmann / mantis / 16475550363
73%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 16475550363

casperlehmann / mantis / 16475550363 73%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 16475550363

casperlehmann / mantis / 16475550363
73%

README BADGES
x