33618730120
99%

Ran 02 Sep 2026 10:22AM UTC

Jobs 1

Files 1

Run time 1min

Badge

Embed ▾

Committed 02 Sep 2026 10:17AM UTC coverage: 98.974%. Remained the same

Build # 33618730120

Build Type

push

github

Committed by

dantebertuzzi

Commit Message

Restore TagBot's ssh input, to be paired with a working key

GITHUB_TOKEN alone cannot push the tag: the tagged commit carries
.github/workflows files, and GitHub refuses that ref without a
`workflows` permission that GITHUB_TOKEN has no way to request.

    ! [remote rejected] v0.6.0 -> v0.6.0 (refusing to allow a GitHub App
      to create or update workflow `.github/workflows/TagBot.yml`
      without `workflows` permission)

So the ssh input stays; what has to change is DOCUMENTER_KEY itself,
which is not a decodable private key. The permissions block and the
lookback input from the previous commit are kept.

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01ST5Rze1UeQkrDsmFXSsYHN

Coverage Stats

1158 of 1170 relevant lines covered (98.97%)

9400.82 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	33618730120.1	02 Sep 2026 10:22AM UTC	1	98.97	GitHub Action Run

dantebertuzzi / MissingPatterns.jl / 33618730120
99%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 33618730120

dantebertuzzi / MissingPatterns.jl / 33618730120 99%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 33618730120

dantebertuzzi / MissingPatterns.jl / 33618730120
99%

README BADGES
x