Skip to content

Fix #12710 (Checkers report: update premium checkers info)#6360

Merged
danmar merged 1 commit intocppcheck-opensource:mainfrom
cppchecksolutions:update-checker-report
May 5, 2024
Merged

Fix #12710 (Checkers report: update premium checkers info)#6360
danmar merged 1 commit intocppcheck-opensource:mainfrom
cppchecksolutions:update-checker-report

Conversation

@danmar
Copy link
Copy Markdown
Collaborator

@danmar danmar commented Apr 28, 2024

No description provided.

@danmar danmar force-pushed the update-checker-report branch 2 times, most recently from 069d174 to f9bcde3 Compare May 5, 2024 19:28
@danmar danmar force-pushed the update-checker-report branch from f9bcde3 to 0737c46 Compare May 5, 2024 19:30
@danmar danmar changed the title Checker report: Update premium checkers info Fix #12710 (Checkers report: update premium checkers info) May 5, 2024
@danmar danmar merged commit 50be22d into cppcheck-opensource:main May 5, 2024
@danmar danmar deleted the update-checker-report branch January 31, 2025 15:42
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