👷Migrate to github actions#678

noam987 wants to merge 22 commits intodevelop-pros-3purduesigbots/pros:develop-pros-3from

github-actionspurduesigbots/pros:github-actionsCopy head branch name to clipboard