We need to add a CI workflow that tries to build main.cpp using the g++ compiler with argument --std=c++17. We should add the status badge of the workflow to README.md so we can see whether or not our latest push to the main branch is building successfully.