Skip to content

Move API to autograder-api & dynamic loading of autograder-core and autograder-extra #665

Move API to autograder-api & dynamic loading of autograder-core and autograder-extra

Move API to autograder-api & dynamic loading of autograder-core and autograder-extra #665

Triggered via pull request July 13, 2024 12:23
Status Success
Total duration 13s
Artifacts

verify.yml

on: pull_request
Fit to window
Zoom out
Zoom in