Merge pull request #17 from aai-institute/update-pipelines

adopt pipelines to ghcr.io

Author: fariedabuzaid

.github/workflows/docker_build.yaml

@@ -10,11 +10,11 @@ jobs:
   test_and_render:
     runs-on: ubuntu-latest
     container:
-      image: europe-west3-docker.pkg.dev/tfl-prod-ea3b/tfl-docker/tfl-training-probabilistic-model-checking:latest
+      image: ghcr.io/aai-institute/tfl-training-probabilistic-model-checking:main
       options: --user root
       credentials:
-        username: _json_key
-        password: ${{ secrets.GAR_JSON_KEY }}
+        username: ${{ github.actor }}
+        password: ${{ secrets.GITHUB_TOKEN }}
     steps:
       - name: Checkout
         uses: actions/checkout@v2