Skip to content

Merge branch 'main' into generalizeScoring #318

Merge branch 'main' into generalizeScoring

Merge branch 'main' into generalizeScoring #318

Triggered via push August 26, 2024 17:17
Status Success
Total duration 55s
Artifacts

maven.yaml

on: push
Fit to window
Zoom out
Zoom in