Skip to content

Create a single header file distribution - #15

Merged
rainman110 merged 9 commits into
mainfrom
4-header-file-only-distribution
Jun 1, 2026
Merged

rainman110 merged 9 commits into
mainfrom
4-header-file-only-distribution

Conversation

@rainman110

Copy link
Copy Markdown
Owner

No description provided.

@rainman110 rainman110 linked an issue Jun 1, 2026 that may be closed by this pull request
@github-actions

github-actions Bot commented Jun 1, 2026 •

Copy link
Copy Markdown

Test Results

83 tests  ±0   83 ✅ ±0   1s ⏱️ ±0s
 9 suites ±0    0 💤 ±0 
 2 files   ±0    0 ❌ ±0 

Results for commit ef11bc0. ± Comparison against base commit e45f51d.

♻️ This comment has been updated with latest results.

@rainman110
rainman110 merged commit ca93ff3 into main Jun 1, 2026
6 checks passed
@rainman110
rainman110 deleted the 4-header-file-only-distribution branch June 1, 2026 09:55
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.

Header-file only distribution

1 participant