.github/workflows/ci.yml: Route the github CI through the new script

This ensures that the script continues to work over time.
1 file changed