* ci: build in PRs * ci: improve naming * ci: upload individual artifacts * ci: try running when PRs are pushed to * ci: name * ci: try individual again * ci: friendship ended with gha; gitlab ci/cd is my new friend * feat: introduce --from-artifact opt in install script