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

Fix docs #50

Closed
wants to merge 10 commits into from
Closed

Fix docs #50

wants to merge 10 commits into from

Conversation

DanielVandH
Copy link
Member

@DanielVandH DanielVandH commented Sep 16, 2023

This is just for testing Documenter 1.0 vs Documenter 0.27. I don't know why Documenter 1.0 just never completes the deployment.

@DanielVandH DanielVandH marked this pull request as ready for review September 16, 2023 12:19
@codecov
Copy link

codecov bot commented Sep 16, 2023

Codecov Report

Patch and project coverage have no change.

Comparison is base (62db086) 93.93% compared to head (1791d69) 93.93%.

Additional details and impacted files
@@           Coverage Diff           @@
##             main      #50   +/-   ##
=======================================
  Coverage   93.93%   93.93%           
=======================================
  Files          20       20           
  Lines        1055     1055           
=======================================
  Hits          991      991           
  Misses         64       64           

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

@ericphanson
Copy link

Can you try again? I think julia-actions/GitHubActions.jl#33 may have fixed the issue

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.

2 participants