Skip to content

Drop compat bounds that can never resolve - #115

Merged
shravanngoswamii merged 1 commit into
mainfrom
sg/fix-forced-latest-resolution
Aug 1, 2026
Merged

shravanngoswamii merged 1 commit into
mainfrom
sg/fix-forced-latest-resolution

Conversation

@shravanngoswamii

Copy link
Copy Markdown
Member

Fixes the test failures on #113.

julia-runtest turns on force_latest_compatible_version for Dependabot PRs, so it tries to install the newest version each compat entry claims to allow. Two of the bounds added in #111 cannot be reached: MCMCChains caps StatsFuns below 2, and StatsFuns below 2 caps LogExpFunctions below 1. Ordinary resolution quietly picked the satisfiable versions, which is why #111 and #112 were green, but forcing the latest makes it unsatisfiable.

So LogExpFunctions goes back to "0.3" and the test env's StatsFuns to "0.9, 1", and the changelog no longer claims LogExpFunctions 1 works.

Also adds a [compat] block to docs/Project.toml at versions that actually resolve together. #113 tried to add one, but picked the latest of each package independently without solving them jointly, which is why its docs job failed too.

Verified locally with Pkg.test(; force_latest_compatible_version=true), the same mode CI uses on Dependabot PRs, plus a clean resolve of the docs environment.

MCMCChains caps StatsFuns below 2, and StatsFuns below 2 caps LogExpFunctions below 1, so allowing LogExpFunctions 1 and StatsFuns 2 was wrong. Normal resolution picked the satisfiable versions and hid it, but julia-runtest turns on force_latest_compatible_version for Dependabot PRs, which exposed it.
@github-actions

github-actions Bot commented Aug 1, 2026

Copy link
Copy Markdown
Contributor

NestedSamplers.jl documentation for PR #115 is available at:
https://chalk-lab.github.io/NestedSamplers.jl/previews/PR115/

@shravanngoswamii
shravanngoswamii merged commit 7359974 into main Aug 1, 2026
6 checks passed
@shravanngoswamii
shravanngoswamii deleted the sg/fix-forced-latest-resolution branch August 1, 2026 19:12
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant