Skip to content

Add GitHub Workflow for building Sengi#356

Open
joschi wants to merge 1 commit intoNicolasConstant:masterfrom joschi:github-workflow

Commits

Commits on Nov 1, 2022