GitHub CI

Do not use a score in autograding. #1986

Sign in to view logs

Triggered via push December 17, 2023 20:27

uhafner

main

Status Success

Total duration 1m 55s

Artifacts –

ci.yml

on: push

Matrix: build