CI: split test and build workflows, run build only on git push tag
#137 -Commit
727698527e
pushed by
phil
CI: split test and build workflows, run build only on git push tag
#135 -Commit
727698527e
pushed by
phil