Skip to content

Merge pull request #1667 from giovannelli/main #201

Merge pull request #1667 from giovannelli/main

Merge pull request #1667 from giovannelli/main #201

Triggered via push September 19, 2023 08:04
Status Success
Total duration 15s
Artifacts
Notify ORM extensions about required code updates
4s
Notify ORM extensions about required code updates
Fit to window
Zoom out
Zoom in