Skip to content

Merge branch 'main' of github.com:benedikt-schesch/AST-Merging-Evalua… #29

Merge branch 'main' of github.com:benedikt-schesch/AST-Merging-Evalua…

Merge branch 'main' of github.com:benedikt-schesch/AST-Merging-Evalua… #29

Triggered via push June 8, 2024 00:29
Status Success
Total duration 38s
Artifacts
update-overleaf
30s
update-overleaf
Fit to window
Zoom out
Zoom in