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

ci: set up CI #13

Merged
merged 6 commits into from
Sep 21, 2022
Merged

ci: set up CI #13

merged 6 commits into from
Sep 21, 2022

Conversation

Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant