fix target name

fangohr · Jun 14, 2024 · f5206bd · f5206bd
1 parent 33e50f8
commit f5206bd
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/docker.yml b/.github/workflows/docker.yml
@@ -27,6 +27,6 @@ jobs:
       - run: echo "Build Docker image"
       - run: make docker-build
       - run: echo "Build paper.pdf in Docker container"
-      - run: make docker-test
+      - run: make docker-paper.pdf
       - run: echo "🍏 This job's status is ${{ job.status }}."