Skip to content

Rename master to main. #822

Rename master to main.

Rename master to main. #822

Triggered via push October 13, 2023 10:40
Status Success
Total duration 3m 25s
Artifacts

autograding.yml

on: push
Fit to window
Zoom out
Zoom in

Annotations

1 warning
Varifier: src/main/java/edu/hm/hafner/util/LineRange.java#L85
Consider using `var` here to avoid boilerplate.