Skip to content

Polish PP headers - #105

Merged
saki7 merged 3 commits into
mainfrom
polish-pp
Oct 3, 2026
Merged

saki7 merged 3 commits into
mainfrom
polish-pp

Conversation

@saki7

@saki7 saki7 commented Oct 3, 2026

Copy link
Copy Markdown
Member

No description provided.

@saki7 saki7 self-assigned this Oct 3, 2026
@saki7 saki7 added bug Something isn't working enhancement New feature or request labels Oct 3, 2026
@cppwarningnotifier

Copy link
Copy Markdown
EnvironmentC++23C++26
irisClang22Debug✅success✅success
Release✅success✅success
GCC15Debug✅success✅success
Release✅success✅success
MSVC2026Debug✅success✅success
Release✅success✅success

@saki7
saki7 merged commit 9bab087 into main Oct 3, 2026
26 checks passed
@saki7
saki7 deleted the polish-pp branch October 3, 2026 23:29
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

bug Something isn't working enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant