Skip to content

Add GitHub actions#838

Merged
dantti merged 1 commit intomasterfrom dantti/gha_buildNov 16, 2023

Commits

Commits on Nov 15, 2023