-
Notifications
You must be signed in to change notification settings - Fork 4
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
Tweak the Pluto
to Documenter
pipeline
#102
Conversation
maltezfaria
commented
Oct 14, 2024
•
edited
Loading
edited
- Fix broken links (Crossrefs broken in Pluto notebooks #95)
- Cache setup stages of doc build
- Error if broken links are present in docs
- links to notebooks are created during conversion to `.md`
Codecov ReportAll modified and coverable lines are covered by tests ✅
Additional details and impacted files@@ Coverage Diff @@
## main #102 +/- ##
===========================================
- Coverage 79.97% 65.93% -14.04%
===========================================
Files 24 24
Lines 3021 3018 -3
===========================================
- Hits 2416 1990 -426
- Misses 605 1028 +423 ☔ View full report in Codecov by Sentry. |
- Package names could contain `.jl`
@gregoirepourtier I made a few minor changes to your original implementation. My goal was to keep it simple for now. We can always make a more complex workflow later if we feel it is needed. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Apart from the description of the generated example, everything else LGTM :)