Skip to content

Bot: Update Python#367

Merged
martinRenou merged 1 commit intogeojupyter:mainfrom
martinRenou:bot_python
Jan 20, 2025
Merged

Bot: Update Python#367
martinRenou merged 1 commit intogeojupyter:mainfrom
martinRenou:bot_python

Conversation

@martinRenou
Copy link
Member

@martinRenou martinRenou commented Jan 20, 2025

Description

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--367.org.readthedocs.build/en/367/
💡 JupyterLite preview: https://jupytergis--367.org.readthedocs.build/en/367/lite

@github-actions
Copy link
Contributor

Binder 👈 Launch a Binder on branch martinRenou/jupytergis/bot_python

@martinRenou
Copy link
Member Author

This won't be tested by the CI

@martinRenou martinRenou merged commit 127210e into geojupyter:main Jan 20, 2025
9 of 12 checks passed
@martinRenou martinRenou deleted the bot_python branch January 20, 2025 14:30
@github-actions
Copy link
Contributor

Integration tests report: appsharing.space

HaudinFlorence pushed a commit to HaudinFlorence/jupytergis that referenced this pull request Jan 28, 2026
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