From a70c50d19fd35bd278dbf56726fe73b488ec1c7f Mon Sep 17 00:00:00 2001 From: Itamar Date: Mon, 16 Sep 2024 20:02:39 +0000 Subject: [PATCH] [Feature:Autograding] Fixed a typo in the workflow file (#29) I changed the duplicate `Docker Build and Push` workflow to `Docker Build PR` in https://github.com/Submitty/DockerImagesRPI/blob/main/.github/workflows/docker-build-pr.yml --- .github/workflows/docker-build-pr.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/docker-build-pr.yml b/.github/workflows/docker-build-pr.yml index 9153e9a..feb73ae 100644 --- a/.github/workflows/docker-build-pr.yml +++ b/.github/workflows/docker-build-pr.yml @@ -1,4 +1,4 @@ -name: Docker Build and Push +name: Docker Build PR on: pull_request: