[Feature:Autograding] Fixed a typo in the workflow file (#29)

ION606 · web-flow · commit a70c50d19fd3 · 2024-09-16T16:02:39.000-04:00
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
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:

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-name: Docker Build and Push`
	`1`	`+name: Docker Build PR`
`2`	`2`
`3`	`3`	`on:`
`4`	`4`	`pull_request:`