CI: split test and build workflows, run build only on git push tag
#136 -Commit
727698527e
pushed by
phil
CI: optimise (use container with all deps for the runner) fix 2
#67 -Commit
056d86ca36
pushed by
phil
CI: optimise (use container with all deps for the runner) fix
#66 -Commit
e8ed03bcba
pushed by
phil
CI: optimise (use container with all deps for the runner)
#65 -Commit
32e499e2cc
pushed by
phil