Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

DX: enable language navigation on Jupyter Lab #77

Merged
merged 3 commits into from
Sep 9, 2023
Merged

DX: enable language navigation on Jupyter Lab #77

merged 3 commits into from
Sep 9, 2023

Conversation

redeboer
Copy link
Member

@redeboer redeboer commented Sep 7, 2023

Automated changes by create-pull-request GitHub action

@redeboer redeboer added the 🔨 Maintenance Refactoring or redesign label Sep 7, 2023
@redeboer redeboer self-assigned this Sep 9, 2023
@redeboer redeboer marked this pull request as draft September 9, 2023 20:35
@redeboer redeboer changed the title MAINT: update pip constraints and pre-commit DX: enable language navigation on Jupyter Lab Sep 9, 2023
@redeboer redeboer added 🖱️ DX Improvements to the Developer Experience and removed 🔨 Maintenance Refactoring or redesign labels Sep 9, 2023
@redeboer redeboer marked this pull request as ready for review September 9, 2023 21:03
@redeboer redeboer merged commit 8c7a092 into main Sep 9, 2023
19 checks passed
@redeboer redeboer deleted the create-pull-request/patch-1694056520 branch September 9, 2023 21:17
@redeboer redeboer mentioned this pull request Sep 18, 2023
Closed
@redeboer redeboer added this to the 0.1.6 milestone Mar 17, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees

@redeboer redeboer

Labels
🖱️ DX Improvements to the Developer Experience
Projects
None yet
Milestone
0.1.6
Development

Successfully merging this pull request may close these issues.
2 participants
@redeboer @web-flow