Add GitHub Action based CI #98
Labels
conclusion: resolved
Issue was resolved
topic: infrastructure
Related to project infrastructure
type: enhancement
Proposed improvement
No description provided.
The text was updated successfully, but these errors were encountered: