We are no longer using the Travis CI tests. We should migrate (and improve) the workflow specified in https://github.com/tompollard/phd_thesis_markdown/blob/main/.travis.yml to GitHub actions.