Skip to content

Create badges after autograding. #840

Create badges after autograding.

Create badges after autograding. #840

Triggered via push November 30, 2023 08:42
Status Success
Total duration 19s
Artifacts
update_release_draft
7s
update_release_draft
Fit to window
Zoom out
Zoom in