Skip to content

Merge pull request #185 from moves-rwth/remove-action-names #503

Merge pull request #185 from moves-rwth/remove-action-names

Merge pull request #185 from moves-rwth/remove-action-names #503

Triggered via push February 9, 2025 13:30
Status Success
Total duration 2m 17s
Artifacts

test.yml

on: push
Fit to window
Zoom out
Zoom in