Skip to content
This repository has been archived by the owner on May 30, 2023. It is now read-only.

Add github actions and linter #7

Merged
merged 1 commit into from
Oct 11, 2022
Merged

Add github actions and linter #7

merged 1 commit into from
Oct 11, 2022

Conversation

plorenz
Copy link
Member

@plorenz plorenz commented Oct 10, 2022

No description provided.

@plorenz plorenz requested a review from a team October 10, 2022 21:52
@plorenz plorenz merged commit 7092c7f into main Oct 11, 2022
@plorenz plorenz deleted the add-actions-and-linter branch October 11, 2022 02:48
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants