Skip to content

Add packaging support for Docker images - #739

Open
bahnwaerter wants to merge 38 commits into
ultimate-pa:devfrom
bahnwaerter:wip/mb/packaging-docker
Open

Add packaging support for Docker images#739
bahnwaerter wants to merge 38 commits into
ultimate-pa:devfrom
bahnwaerter:wip/mb/packaging-docker

Change the default memory sizes of the Java Runtime for Ultimate prod…

d98f033
Select commit
Loading
Failed to load commit list.
Ultimate Jenkins CI / Ultimate CI succeeded Oct 20, 2025 in 4m 44s

Success

Details

  • Declarative: Tool Install (3.1 sec)
    • Checkout (2 min 3 sec)
    • Check environment (4.3 sec)
    • Build and run basic tests (2 min 28 sec)