Skip to content

Merge branch 'main' of github.com:UM-Bridge/umbridge #15

Merge branch 'main' of github.com:UM-Bridge/umbridge

Merge branch 'main' of github.com:UM-Bridge/umbridge #15

Triggered via push August 21, 2023 09:50
Status Success
Total duration 4m 0s
Artifacts
Fit to window
Zoom out
Zoom in