Closed BluKo3 closed 2 years ago
Setting up CI
Ideally someone would review this, but this is just for github actions. I'm doing the merge right now as we are in a group meeting.
Setting up CI