Skip to content

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

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

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

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

test.yml

on: push
Fit to window
Zoom out
Zoom in