Skip to content

Merge branch 'dev' of github.com:SoftVarE-Group/uvl-playground into dev #93

Merge branch 'dev' of github.com:SoftVarE-Group/uvl-playground into dev

Merge branch 'dev' of github.com:SoftVarE-Group/uvl-playground into dev #93

Triggered via push January 9, 2024 13:15
Status Success
Total duration 1m 42s
Artifacts
Fit to window
Zoom out
Zoom in