Skip to content

Keep extension package name extension-artifacts for 3.12 to fix bot#366

Merged
martinRenou merged 3 commits intogeojupyter:mainfrom
arjxn-py:fix-bot
Jan 20, 2025
Merged

Keep extension package name extension-artifacts for 3.12 to fix bot#366
martinRenou merged 3 commits intogeojupyter:mainfrom
arjxn-py:fix-bot

Conversation

@arjxn-py
Copy link
Member

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

@github-actions
Copy link
Contributor

Binder 👈 Launch a Binder on branch arjxn-py/jupytergis/fix-bot

@martinRenou martinRenou added the maintenance Fixing lint errors, changing project metadata, changing tooling, changing dependencies, etc. label Jan 20, 2025
@github-actions
Copy link
Contributor

github-actions bot commented Jan 20, 2025

Integration tests report: appsharing.space

Copy link
Member

@martinRenou martinRenou left a comment

Choose a reason for hiding this comment

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

Thanks!

@martinRenou
Copy link
Member

Not waiting for the rest of the CI, the artifact downloaded properly

@martinRenou martinRenou merged commit 77166ab into geojupyter:main Jan 20, 2025
14 checks passed
@arjxn-py arjxn-py deleted the fix-bot branch March 16, 2025 13:06
HaudinFlorence pushed a commit to HaudinFlorence/jupytergis that referenced this pull request Jan 28, 2026
…eojupyter#366)

* Keep extension package name `extension-artifacts` for 3.12

* log extension package name just to test

* Remove logging
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.

2 participants