Skip to content

Switch from circle CI to Github Actions #13

Description

@mstruebing

We should migrate to Github actions.
This should be a 1:1 port.

Metadata

Metadata

Assignees

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions