From f5206bde4a89ffea6e8e2f027486f8a281086689 Mon Sep 17 00:00:00 2001 From: Hans Fangohr Date: Fri, 14 Jun 2024 15:38:22 +0200 Subject: [PATCH] fix target name --- .github/workflows/docker.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/docker.yml b/.github/workflows/docker.yml index ee20363..540c445 100644 --- 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 }}."