Skip to content

Merge pull request #41 from ika-rwth-aachen/sort-arguments #238

Merge pull request #41 from ika-rwth-aachen/sort-arguments

Merge pull request #41 from ika-rwth-aachen/sort-arguments #238

Triggered via push November 20, 2024 21:34
Status Success
Total duration 2h 59m 22s
Artifacts

github.yml

on: push
Fit to window
Zoom out
Zoom in