Remove autograding for pom.

uhafner · Nov 27, 2023 · 13a5592 · 13a5592
1 parent 7442ad3
commit 13a5592
Showing 1 changed file with 0 additions and 84 deletions.
diff --git a/.github/workflows/autograding.yml b/.github/workflows/autograding.yml