ci: migrate from CircleCI to GitHub Actions#6746

nicksieger wants to merge 25 commits into

tilt-dev:mastertilt-dev/tilt:masterfrom

nicksieger:migrate-circleci-to-github-actionsnicksieger/tilt:migrate-circleci-to-github-actionsCopy head branch name to clipboard