The CI tests for https://github.com/babashka/sci.configs/pull/30 seem to be stuck. How can I re-trigger them?