Skip to content

Updating version of proj4-list#459

Merged
martinRenou merged 1 commit intogeojupyter:mainfrom
josueggh:main
Feb 10, 2025
Merged

Updating version of proj4-list#459
martinRenou merged 1 commit intogeojupyter:mainfrom
josueggh:main

Conversation

@josueggh
Copy link
Contributor

@josueggh josueggh commented Feb 9, 2025

Description

I updated proj4-list package, I added the types in the library so the @ts-expect-error line is not required anymore.

Checklist

  • PR has a descriptive title and content.
  • PR description contains references to any issues the PR resolves, e.g. Resolves #XXX.
  • PR has one of the labels: documentation, bug, enhancement, feature, maintenance
  • Checks are passing.
    Failing lint checks can be resolved with:
    • pre-commit run --all-files
    • jlpm run lint

📚 Documentation preview: https://jupytergis--459.org.readthedocs.build/en/459/
💡 JupyterLite preview: https://jupytergis--459.org.readthedocs.build/en/459/lite

@github-actions
Copy link
Contributor

github-actions bot commented Feb 9, 2025

Binder 👈 Launch a Binder on branch josueggh/jupytergis/main

@github-actions
Copy link
Contributor

github-actions bot commented Feb 9, 2025

Integration tests report: appsharing.space

Copy link
Member

@mfisher87 mfisher87 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

❤️ Thank you, Josue!

@arjxn-py arjxn-py added the maintenance Fixing lint errors, changing project metadata, changing tooling, changing dependencies, etc. label Feb 10, 2025
@martinRenou martinRenou merged commit 8163619 into geojupyter:main Feb 10, 2025
14 of 17 checks passed
HaudinFlorence pushed a commit to HaudinFlorence/jupytergis that referenced this pull request Jan 28, 2026
Co-authored-by: Gutierrez,Josue (IT EDP) BIG-DE-I <josue.gutierrez@boehringer-ingelheim.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

maintenance Fixing lint errors, changing project metadata, changing tooling, changing dependencies, etc.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

5 participants