Skip to content

clean up ci - #52

Merged
knickish merged 1 commit into
masterfrom
github-ci-cleanup
Aug 15, 2026
Merged

clean up ci#52
knickish merged 1 commit into
masterfrom
github-ci-cleanup

Conversation

@knickish

@knickish knickish commented Aug 15, 2026

Copy link
Copy Markdown
Owner

adds exhaustive tests for feature combinations

@knickish knickish changed the title tmp clean up ci Aug 15, 2026
@knickish
knickish force-pushed the github-ci-cleanup branch 6 times, most recently from 14e9ce5 to 735935a Compare August 15, 2026 22:48
@knickish
knickish merged commit bd3c721 into master Aug 15, 2026
212 checks passed
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