The Github action runs seem to be flaky, either failing or taking a long time. This should be investigated.