Skip to content

Add Pint CI workflow#2

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

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

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 f095981 into main Mar 10, 2026
1 check passed
@retlehs retlehs deleted the pint-ci-workflow branch March 10, 2026 02:05
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