diff options
| author | Kyle Kelley <rgbkrk@gmail.com> | 2024-07-27 01:39:08 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-07-27 10:39:08 +0200 |
| commit | 63f8218a7d9c70b214408c951b9cf038403a9229 (patch) | |
| tree | 3fb9512b913e42913aaaeab31cb17d38a8594d65 /cli/tools/lint/mod.rs | |
| parent | 06b6352292b69359768c99a1fc984fa4bdcd07c9 (diff) | |
fix: adapt to new jupyter runtime API and include session IDs (#24762)
Closes #24737, #24437.
Diffstat (limited to 'cli/tools/lint/mod.rs')
0 files changed, 0 insertions, 0 deletions