Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
[Feature:Autograding] Fixed a typo in the workflow file (#51)
### Please check if the PR fulfills these requirements: * [ ] Tests for the changes have been added/updated (if possible) * [ ] Documentation has been updated/added if relevant ### What is the current behavior? <!-- List issue if it fixes/closes/implements one using the "Fixes #<number>" or "Closes #<number>" syntax --> There is a duplicate `Docker Build and Push` workflow ### What is the new behavior? There will no longer be a duplicate `Docker Build and Push` workflow ### Other information? <!-- Is this a breaking change? --> <!-- How did you test -->
- Loading branch information