93a9db10b7
Attempt to fix the failing CI for the short term. The existing workflow file still works on my personal fork, but for some reason doesn't on the main project.