Merge branch 'develop' into feature/programming-exercises/add-groupin… #2442
GitHub Actions / Junit Results
succeeded
Dec 17, 2024 in 0s
Junit Results
Junit Results ran 8552 in 1257.1129999999994 seconds 0 Errored, 0 Failed, 1 Skipped
Annotations
Check notice on line 0 in test
github-actions / Junit Results
test#L0
Junit Results ran 8552 in 1257.1129999999994 seconds 0 Errored, 0 Failed, 1 Skipped
Loading