Skip to content

grader: Show percentage instead of points when appropriate #845

grader: Show percentage instead of points when appropriate

grader: Show percentage instead of points when appropriate #845

Triggered via pull request August 12, 2024 12:43
Status Success
Total duration 4m 16s
Artifacts

ci.yml

on: pull_request
Fit to window
Zoom out
Zoom in