Skip to content

Add Pint CI workflow#8

Merged
retlehs merged 1 commit intomainfrom
pint-ci
Mar 10, 2026
Merged

Add Pint CI workflow#8
retlehs merged 1 commit intomainfrom
pint-ci

Conversation

@retlehs
Copy link
Copy Markdown
Member

@retlehs retlehs commented Mar 10, 2026

No description provided.

@retlehs retlehs self-assigned this Mar 10, 2026
@retlehs retlehs merged commit 712eca3 into main Mar 10, 2026
2 checks passed
@retlehs retlehs deleted the pint-ci branch March 10, 2026 02:09
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