Skip to content
GitHub CI

Create badges after autograding. #1926

Sign in to view logs

Create badges after autograding.

Create badges after autograding. #1926

Triggered via push November 30, 2023 08:30
@uhafneruhafner
pushed c03e326
main
Status Success
Total duration 2m 8s
Artifacts –

ci.yml

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