Skip to content

Use an other GitHub Action for update the coverage badge#86

Open
jenspapenhagen wants to merge 1 commit intotoon-format:mainfrom
jenspapenhagen:workflow
Open

Use an other GitHub Action for update the coverage badge#86
jenspapenhagen wants to merge 1 commit intotoon-format:mainfrom
jenspapenhagen:workflow

Commits

Commits on Jan 9, 2026