Skip to content

fix: make names in the graph selectable in jupyter #210

fix: make names in the graph selectable in jupyter

fix: make names in the graph selectable in jupyter #210

Triggered via pull request October 16, 2023 08:30
Status Success
Total duration 3m 14s
Artifacts 1

ci.yml

on: pull_request
Formatting and static analysis
53s
Formatting and static analysis
Matrix: Tests
docs  /  Build documentation
1m 16s
docs / Build documentation
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
docs_html Expired
3.13 MB