Skip to content

Improve workflow formatting and remove the need for a write token#14

Merged
jordikroon merged 2 commits into
php:mainfrom
jordikroon:github-codecoverage
Jun 12, 2026
Merged

Improve workflow formatting and remove the need for a write token#14
jordikroon merged 2 commits into
php:mainfrom
jordikroon:github-codecoverage

Conversation

@jordikroon

Copy link
Copy Markdown
Member

No description provided.

@jordikroon jordikroon changed the title improve workflow formatting and remove the need for a write token Improve workflow formatting and remove the need for a write token Jun 12, 2026
@jordikroon jordikroon merged commit 9d3ea9c into php:main Jun 12, 2026
3 checks passed
@jordikroon jordikroon deleted the github-codecoverage branch June 12, 2026 17:08
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant