Skip to content

Linting and GH action fixes#29

Merged
cnizzardini merged 1 commit into
mainfrom
github-actions
Apr 19, 2025
Merged

Linting and GH action fixes#29
cnizzardini merged 1 commit into
mainfrom
github-actions

Conversation

@cnizzardini
Copy link
Copy Markdown
Owner

No description provided.

@cnizzardini cnizzardini merged commit a6e8278 into main Apr 19, 2025
6 checks passed
@cnizzardini cnizzardini deleted the github-actions branch April 19, 2025 13:41
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