Skip to content

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

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 #667

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

verify.yml

on: pull_request
Fit to window
Zoom out
Zoom in