add GitHub Actions workflow to verify builds and pull requests#166
Open
Okeanos wants to merge 7 commits into
Open
add GitHub Actions workflow to verify builds and pull requests#166Okeanos wants to merge 7 commits into
Okeanos wants to merge 7 commits into