Basic CI/CD

[shankari]

• build on every PR and merge
• if there is a push to a branch starting with build_pkg, automatically build and push new images to the organization and attach them to the repo

Author: Shankari shankari@eecs.berkeley.edu Date: Thu Oct 26 11:04:46 2023 -0700

Remove pushes on `main` to avoid extraneous double push

with the current flow, we build on `build_pkg_`
once the packages are built, we will merge to main
we don't want to rebuild on main

Author: Shankari shankari@eecs.berkeley.edu Date: Thu Oct 26 10:28:54 2023 -0700

Give package write permissions to this job as well

Author: Shankari shankari@eecs.berkeley.edu Date: Thu Oct 26 10:16:07 2023 -0700

Actually enable the new workflow for `build_pkg` branches

Author: Dan Moore 9156191+drmrd@users.noreply.github.com Date: Thu Oct 26 11:50:23 2023 -0400

Build Docker images on PR, merge, and tag events