Thoughts
I have mixed feelings about CI. On one hand, making things fully automated is important. On the other hand, surely that's possible without
having actions triggered by Github comments and without requiring rebuilding a docker container every time.