Skip to content
Docs

Merge pull request #155 from moves-rwth/several-visualization-features #140

Sign in to view logs

Merge pull request #155 from moves-rwth/several-visualization-features

Merge pull request #155 from moves-rwth/several-visualization-features #140

Triggered via push December 9, 2024 13:02
@YouGuessedMyNameYouGuessedMyName
pushed 74fd328
remove-action-names
Status Success
Total duration 2m 30s
Artifacts –

docs.yml

on: push
pre-commit
2m 20s
pre-commit
Fit to window
Zoom out
Zoom in