Trying to get action to trigger

Signed-off-by: Peter Baker <peter.baker122@csiro.au>

Author: PeterBaker0

.github/workflows/MKL_jll.yml renamed to .github/workflows/CheckMklDep.yml

@@ -12,7 +12,7 @@ on:
       is_up_to_date:
         description: "Whether MKL_jll.dep is up to date"
         value: ${{ jobs.check-mkl-dep.outputs.is_up_to_date }}
-  # trigger on pull request whenever Manifest or MKL dep changes
+  # trigger on pull request
   pull_request:
     types: [opened, synchronize, reopened]
 

.github/workflows/PublishDockerImage.yml

@@ -30,7 +30,7 @@ env:
 
 jobs:
   check-mkl:
-    uses: ./.github/workflows/MKL_jll.yml
+    uses: ./.github/workflows/CheckMklDep.yml
     with:
       auto_update: false # Fail if out of date, don't auto-update
 

docs/src/docker.md

@@ -33,7 +33,7 @@ However PRs will automatically perform this sync, if out of date.
 
 ### Github action to sync MKL_jll
 
-There is an action which ensures the MKL_jll dep file is up to date, and pushes if not. See `.github/workflows/MKL_jll.yml`.
+There is an action which ensures the MKL_jll dep file is up to date, and pushes if not. See `.github/workflows/CheckMklDep.yml`.
 
 ## Mounting files and required data