[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
Submitty · Sep 16, 2024 · a70c50d · a70c50d
1 parent 011e7f1
commit a70c50d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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: