It's not unusual for the continuous integration to fail several months after it was last run -- changes in the python stack often cause problems. This PR fixes some of the CI infrastructure without relying on changes to code that gets compiled / executed by MARBL itself.
It's not unusual for the continuous integration to fail several months after it was last run -- changes in the python stack often cause problems. This PR fixes some of the CI infrastructure without relying on changes to code that gets compiled / executed by MARBL itself.