fuzzball
fuzzball copied to clipboard
Consolidate CI
Potentially using Github Actions. We are using a bunch of different builders and tools, it seems like we could probably consolidate and improve our CI/CD pipeline.
Also, the docker build should automatically happen and push to dockerhub when we do a merge to master.