Skip to content

Merge branch 'main' into rotor #1257

Merge branch 'main' into rotor

Merge branch 'main' into rotor #1257

Triggered via push June 22, 2024 13:31
Status Success
Total duration 16s
Artifacts

grader.yml

on: push
Run autograder on linux
4s
Run autograder on linux
Run autograder on macOS
7s
Run autograder on macOS
Fit to window
Zoom out
Zoom in