Skip to content

Fix worker launch: add lib-common to the supervisor's worker classpath and restore the lib-worker drop-in directory#8905

Merged
rzo1 merged 3 commits into
masterfrom
remove-lib-worker-stormpy
Jul 19, 2026
Merged

Fix worker launch: add lib-common to the supervisor's worker classpath and restore the lib-worker drop-in directory#8905
rzo1 merged 3 commits into
masterfrom
remove-lib-worker-stormpy

build: ship an empty lib-worker drop-in directory in the distribution

f7a0d52
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar