Skip to content

Conversation

@da1910
Copy link
Collaborator

@da1910 da1910 commented Mar 6, 2023

Closes #326

This PR removes the docs build for JSON format, this should unblock the sphinx-theme update, as well as removing some magic bash scripts.

@da1910 da1910 requested a review from Andy-Grigg March 6, 2023 10:09
@codecov
Copy link

codecov bot commented Mar 6, 2023

Codecov Report

Merging #327 (8945f54) into main (bdb91fe) will not change coverage.
The diff coverage is n/a.

@@           Coverage Diff           @@
##             main     #327   +/-   ##
=======================================
  Coverage   94.47%   94.47%           
=======================================
  Files           8        8           
  Lines         797      797           
=======================================
  Hits          753      753           
  Misses         44       44           

Help us with your feedback. Take ten seconds to tell us how you rate us. Have a feature suggestion? Share it here.

@da1910 da1910 added this pull request to the merge queue Mar 6, 2023
Merged via the queue into main with commit 1702cc7 Mar 6, 2023
@da1910 da1910 deleted the ci/remove_json_nonsense branch March 6, 2023 14:16
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Remove JSON Docs Build

3 participants