Skip to content

Add slim shadowJar variant for key.ui and fix dist build - #3987

Merged
wadoon merged 1 commit into
mainfrom
weigl/dist
Oct 5, 2026
Merged

Add slim shadowJar variant for key.ui and fix dist build#3987
wadoon merged 1 commit into
mainfrom
weigl/dist

Add slim shadowJar variant for key.ui and fix dist build

961eb32
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 notice
integration-tests (testRunAllFunProofs, ubuntu-latest, 21)
succeeded Oct 2, 2026 in 47m 0s