Skip to content

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

Open
github-actions[bot] wants to merge 1 commit into
mainfrom
compathelper/new_version/2026-02-25-00-50-07-287-00829186726
Open

CompatHelper: bump compat for DynamicPPL in [weakdeps] to 0.40, (keep existing compat)#131
github-actions[bot] wants to merge 1 commit into
mainfrom
compathelper/new_version/2026-02-25-00-50-07-287-00829186726

Commits

Commits on Feb 25, 2026