Skip to content
Deploy odoc

grading: workaround for artemis: always put text in points:n tests #139

Sign in to view logs

grading: workaround for artemis: always put text in points:n tests

grading: workaround for artemis: always put text in points:n tests #139

Triggered via push August 9, 2024 19:08
@just-maxjust-max
pushed e9170ef
no-empty-points-hotfix
Status Success
Total duration 5m 59s
Artifacts –

odoc.yml

on: push
deploy-doc
5m 52s
deploy-doc
Fit to window
Zoom out
Zoom in