Update extern c ignore #3025

Merged
peterharperuk merged 4 commits from update_extern_c_ignore into develop 2026-06-24 09:41:02 -05:00
peterharperuk commented 2026-06-22 14:23:50 -05:00 (Migrated from github.com)

Add some missing extern_c wrappers to some header files.
Update the script to make checking the exclude list easier.

Add some missing extern_c wrappers to some header files. Update the script to make checking the exclude list easier.
lurch commented 2026-06-23 02:47:13 -05:00 (Migrated from github.com)

Should we (also) add some kind of GitHub CI workflow for this, so that it gets run for every PR (and thus preventing any "bad" headers from getting merged in future) ?

Should we (also) add some kind of GitHub CI workflow for this, so that it gets run for every PR (and thus preventing any "bad" headers from getting merged in future) ?
peterharperuk commented 2026-06-23 02:50:38 -05:00 (Migrated from github.com)

That's the plan

That's the plan
kilograham (Migrated from github.com) approved these changes 2026-06-24 09:40:54 -05:00
lurch commented 2026-07-01 09:38:40 -05:00 (Migrated from github.com)

This is a follow-up to #3003 and fixes #2865

This is a follow-up to #3003 and fixes #2865
Sign in to join this conversation.
No reviewers
No milestone
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set

Reference
gh-raspberrypi/pico-sdk!3025
No description provided.