Fix CI
Summary
CI is and has been broken for the entire year. This should be fixed as it allows for us to see if the project is truly broken or if tests fail.
CI is and has been broken for the entire year. This should be fixed as it allows for us to see if the project is truly broken or if tests fail.