Skip to content
Test

Merge pull request #173 from moves-rwth/137-state-builder #473

Sign in to view logs

Merge pull request #173 from moves-rwth/137-state-builder

Merge pull request #173 from moves-rwth/137-state-builder #473

Triggered via push December 22, 2024 14:38
@PimLeerkesPimLeerkes
pushed bfdd07c
166-when-deleting-state-and-then-adding-some-states-can-have-the-same-name
Status Success
Total duration 2m 16s
Artifacts –

test.yml

on: push
test
2m 6s
test
Fit to window
Zoom out
Zoom in