Skip to content
GitHub CI

Use new autograding properties. #1972

Sign in to view logs

Use new autograding properties.

Use new autograding properties. #1972

Triggered via push December 6, 2023 08:26
@uhafneruhafner
pushed 6232bb2
main
Status Success
Total duration 2m 59s
Artifacts –

ci.yml

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