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
Commits
Commits on Dec 31, 2024
- committed
- committed
- committed
- committed
- committed
- committed
- committed
