Skip to content

CompatHelper: bump compat for DynamicPPL in [weakdeps] to 0.41, (keep existing compat)#137

Open
github-actions[bot] wants to merge 1 commit into
mainfrom
compathelper/new_version/2026-04-17-00-57-31-113-03226885129
Open

CompatHelper: bump compat for DynamicPPL in [weakdeps] to 0.41, (keep existing compat)#137
github-actions[bot] wants to merge 1 commit into
mainfrom
compathelper/new_version/2026-04-17-00-57-31-113-03226885129

Commits

Commits on Apr 17, 2026