This repository has been archived by the owner on Mar 30, 2024. It is now read-only.

GitHub actions CI #26

Open

boehs opened this issue Oct 10, 2022 · 0 comments · May be fixed by #27

boehs commented Oct 10, 2022

No description provided.

boehs linked a pull request

that will close this issue

Create GitHub actions #27

Open

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.