Add Maven POM and GitHub Actions CI workflow#1
Draft
d3adb5 wants to merge 2 commits intoHilbertmf:masterfrom
Draft
Add Maven POM and GitHub Actions CI workflow#1d3adb5 wants to merge 2 commits intoHilbertmf:masterfrom
d3adb5 wants to merge 2 commits intoHilbertmf:masterfrom