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

@knickishknickish commented Aug 15, 2026

Copy link
Copy Markdown
Owner

adds exhaustive tests for feature combinations

@knickishknickish changed the title tmpclean up ciAug 15, 2026
@knickish
knickishforce-pushed the github-ci-cleanup branch 6 times, most recently from 14e9ce5 to 735935aCompareAugust 15, 2026 22:48
@knickish
knickish merged commit bd3c721 into masterAug 15, 2026
212 checks passed
Sign up for freeto 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

@knickish