Skip to content

remove unused headers in spacewasm.h - #160

Merged
Kronos3 merged 1 commit into
mainfrom
cbindgen-remove-extra-headers
Aug 7, 2026
Merged

remove unused headers in spacewasm.h#160
Kronos3 merged 1 commit into
mainfrom
cbindgen-remove-extra-headers

Conversation

@cole-wilson

Copy link
Copy Markdown
Collaborator

The spacewasm.h C API header includes stdarg.h and stdlib.h are not needed, but they are added by default by cbindgen. This PR just removes the default header includes, while manually adding the required stdbool.h, stdint.h, and stddef.h back in.

@cole-wilson cole-wilson self-assigned this Aug 7, 2026
@cole-wilson
cole-wilson requested a review from Kronos3 August 7, 2026 00:30
@github-actions

github-actions Bot commented Aug 7, 2026

Copy link
Copy Markdown

CoreMark Benchmark Results

Current Score: 344.649
Baseline Score (main): 347.887
Difference: -3.238 (-0.93%)

@github-actions

github-actions Bot commented Aug 7, 2026

Copy link
Copy Markdown

Code Coverage Report

Current Coverage: 95.30%
Baseline Coverage (main): 95.30%
Difference: +0.00%

@Kronos3
Kronos3 merged commit 42781cb into main Aug 7, 2026
21 checks passed
@Kronos3
Kronos3 deleted the cbindgen-remove-extra-headers branch August 7, 2026 00:35
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.

2 participants