Skip to content
Lint

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

Sign in to view logs

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

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

Triggered via push January 4, 2025 10:28
@YouGuessedMyNameYouGuessedMyName
pushed 0bb55a8
main
Status Success
Total duration 2m 35s
Artifacts –

lint.yml

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