Fix a ci-support script name in Github CI script

Author: inducer

.github/workflows/ci.yml

@@ -108,7 +108,7 @@ jobs:
         -   name: "Main Script"
             run: |
                 curl -L -O https://tiker.net/ci-support-v0
-                . ci-support.sh
+                . ci-support-v0
                 build_py_project_in_conda_env
                 conda install graphviz