Remove autograding from jenkins plugins.

jenkinsci · Dec 15, 2022 · b025318 · b025318
1 parent 391ffad
commit b025318
Showing 1 changed file with 0 additions and 84 deletions.
diff --git a/.github/workflows/autograding.yml b/.github/workflows/autograding.yml