Skip to content
GitHub CI

Create badges after autograding. #1928

Sign in to view logs

Create badges after autograding.

Create badges after autograding. #1928

Triggered via push November 30, 2023 08:42
@uhafneruhafner
pushed 9ce24ac
main
Status Success
Total duration 2m 24s
Artifacts –

ci.yml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in