Skip to content

Fix SV-COMP packaging of the jar artifact; report the package version - #94

Merged
nils-loose merged 1 commit into
devfrom
fix/package-flat-artifact
Oct 20, 2026
Merged

Fix SV-COMP packaging of the jar artifact; report the package version#94
nils-loose merged 1 commit into
devfrom
fix/package-flat-artifact

Fix SV-COMP packaging of the single-file jar artifact; report the pac…

15ab838
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar