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.

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

Revert "Remove comment about interactive" #4942

Merged
merged 2 commits into from
Dec 13, 2023

Conversation

tkoyama010
Copy link
Member

@tkoyama010 tkoyama010 commented Sep 20, 2023

Reverts #4813

@github-actions github-actions bot added the documentation Anything related to the documentation/website label Sep 20, 2023
@codecov
Copy link

codecov bot commented Sep 21, 2023

Codecov Report

Merging #4942 (c1526f3) into main (d9a7de6) will not change coverage.
The diff coverage is n/a.

Additional details and impacted files
@@           Coverage Diff           @@
##             main    #4942   +/-   ##
=======================================
  Coverage   96.27%   96.27%           
=======================================
  Files         134      134           
  Lines       22706    22706           
=======================================
  Hits        21860    21860           
  Misses        846      846           

@tkoyama010 tkoyama010 mentioned this pull request Oct 28, 2023
26 tasks
@tkoyama010 tkoyama010 mentioned this pull request Dec 13, 2023
15 tasks
@tkoyama010 tkoyama010 enabled auto-merge (squash) December 13, 2023 20:49
@tkoyama010
Copy link
Member Author

@pyvista-bot LGTM

Copy link
Contributor

@pyvista-bot pyvista-bot left a comment

Choose a reason for hiding this comment

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

✅ Approving this PR because tkoyama010 said so in here :shipit:

@tkoyama010 tkoyama010 merged commit 8e5bba6 into main Dec 13, 2023
26 checks passed
@tkoyama010 tkoyama010 deleted the revert-4813-doc/remove-interactive-comment branch December 13, 2023 22:06
@banesullivan banesullivan mentioned this pull request Dec 14, 2023
22 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
documentation Anything related to the documentation/website
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants