From dda25dddb8949d80e1e973ea546a9208dd20b123 Mon Sep 17 00:00:00 2001
From: Maris Galesloot <maris.galesloot@ru.nl>
Date: Fri, 24 Nov 2023 15:55:12 +0100
Subject: [PATCH] Fix typo's

---
 .github/workflows/buildtest.yml | 4 ++--
 paynt-learner.dockerfile        | 4 ++--
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/.github/workflows/buildtest.yml b/.github/workflows/buildtest.yml
index 5515b4d43..e428c5ad1 100644
--- a/.github/workflows/buildtest.yml
+++ b/.github/workflows/buildtest.yml
@@ -34,7 +34,7 @@ jobs:
       - name: Build paynt from Dockerfile
         run: docker build -t ${{ matrix.buildType.imageName }}:${{ matrix.buildType.dockerTag }} . -f paynt-specific-storm.dockerfile --build-arg storm_sha=${{ matrix.buildType.stormCommit }} --build-arg build_type=${{ matrix.buildType.buildArgs }} --build-arg setup_args=${{ matrix.buildType.setupArgs }} --build-arg setup_args_pycarl=${{ matrix.buildType.setupArgs }} --build-arg no_threads=${NR_JOBS}
       - name: Build image for learner
-        run: docker build -t ${{ matrix.buildType.imageName }}-learner:${{ matrix.buildType.dockerTag }} . -f paynt-learner.dockerfile --build-arg paynt-base=${{ matrix.buildType.imageName }}:${{ matrix.buildType.dockerTag }}
+        run: docker build -t ${{ matrix.buildType.imageName }}-learner:${{ matrix.buildType.dockerTag }} . -f paynt-learner.dockerfile --build-arg paynt_base=${{ matrix.buildType.imageName }}:${{ matrix.buildType.dockerTag }}
       - name: Login into docker
         # Only login if using master on original repo (and not for pull requests or forks)
         if: github.repository_owner == 'randriu' && github.ref == 'refs/heads/master'
@@ -62,7 +62,7 @@ jobs:
       - name: Build stormpy from Dockerfile
         run: docker build -t ${{ matrix.buildType.imageName }}:${{ matrix.buildType.dockerTag }} . --build-arg STORM_BASE=movesrwth/storm:${{ matrix.buildType.stormTag }} --build-arg build_type=${{ matrix.buildType.buildArgs }} --build-arg setup_args=${{ matrix.buildType.setupArgs }} --build-arg setup_args_pycarl=${{ matrix.buildType.setupArgs }} --build-arg no_threads=${NR_JOBS}
       - name: Build image for learner
-        run: docker build -t ${{ matrix.buildType.imageName }}-learner:${{ matrix.buildType.dockerTag }} . -f paynt-learner.dockerfile --build-arg paynt-base=${{ matrix.buildType.imageName }}:${{ matrix.buildType.dockerTag }}
+        run: docker build -t ${{ matrix.buildType.imageName }}-learner:${{ matrix.buildType.dockerTag }} . -f paynt-learner.dockerfile --build-arg paynt_base=${{ matrix.buildType.imageName }}:${{ matrix.buildType.dockerTag }}
       - name: Login into docker
         # Only login if using master on original repo (and not for pull requests or forks)
         if: github.repository_owner == 'randriu' && github.ref == 'refs/heads/master'
diff --git a/paynt-learner.dockerfile b/paynt-learner.dockerfile
index ffa73da81..02eca0fb2 100644
--- a/paynt-learner.dockerfile
+++ b/paynt-learner.dockerfile
@@ -1,5 +1,5 @@
-ARG paynt-base=randriu/paynt:ci
-FROM paynt-base
+ARG paynt_base=randriu/paynt:ci
+FROM $paynt_base
 
 RUN pip install torch --index-url https://download.pytorch.org/whl/cpu