Skip to content

Fix documentation build error by managing ParticleFilters as on-demand dependency#572

Merged
dylan-asmar merged 1 commit intoJuliaPOMDP:masterfrom
mansurarief:fix/build-error-particlefilters-compat
Sep 9, 2025
Merged

Fix documentation build error by managing ParticleFilters as on-demand dependency#572
dylan-asmar merged 1 commit intoJuliaPOMDP:masterfrom
mansurarief:fix/build-error-particlefilters-compat

Conversation

@mansurarief
Copy link
Copy Markdown
Contributor

  • Removed ParticleFilters from docs/Project.toml dependencies
  • Updated gallery.md to add/remove ParticleFilters package dynamically for RoombaPOMDPs example

Context

The ParticleFilters package was causing dependency compatibility issues in the documentation build. By moving it to be added on-demand only when needed for specific examples (like RoombaPOMDPs), we avoid global dependency conflicts while maintaining example functionality.

…llery.md to add/remove ParticleFilters package for RoombaPOMDPs for better compat.
@dylan-asmar dylan-asmar merged commit 99333c0 into JuliaPOMDP:master Sep 9, 2025
7 checks passed
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.

2 participants