Skip to content

Conversation

mvanzulli
Copy link
Member

Closes #708

@mvanzulli mvanzulli marked this pull request as draft June 9, 2024 18:56
@mvanzulli mvanzulli requested a review from jorgepz June 9, 2024 19:15
@mvanzulli mvanzulli marked this pull request as ready for review June 9, 2024 19:27
Copy link

codecov bot commented Jun 9, 2024

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 88.98%. Comparing base (2f477e4) to head (94e781d).
Report is 7 commits behind head on master.

Current head 94e781d differs from pull request most recent head 057c6ad

Please upload reports for the commit 057c6ad to get more accurate results.

Additional details and impacted files
@@           Coverage Diff           @@
##           master     #709   +/-   ##
=======================================
  Coverage   88.97%   88.98%           
=======================================
  Files         131      131           
  Lines        4491     4492    +1     
=======================================
+ Hits         3996     3997    +1     
  Misses        495      495           

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

@mvanzulli mvanzulli merged commit 3703913 into master Jun 9, 2024
@mvanzulli mvanzulli deleted the mvanzulli/708-add-documenter-to-docs-deps branch June 9, 2024 23:06
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.

Add Documenter.jl to docs deps
2 participants