Skip to content

Merge branch 'devel' of github.com:edoardottt/defango into devel #1

Merge branch 'devel' of github.com:edoardottt/defango into devel

Merge branch 'devel' of github.com:edoardottt/defango into devel #1

Triggered via push November 5, 2023 17:16
Status Success
Total duration 36s
Artifacts
Fit to window
Zoom out
Zoom in