-
Notifications
You must be signed in to change notification settings - Fork 22
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
Update make.jl #384
Update make.jl #384
Conversation
Codecov ReportAll modified and coverable lines are covered by tests ✅
Additional details and impacted files@@ Coverage Diff @@
## main #384 +/- ##
=======================================
Coverage 77.70% 77.70%
=======================================
Files 68 68
Lines 5287 5287
=======================================
Hits 4108 4108
Misses 1179 1179
Flags with carried forward coverage won't be shown. Click here to find out more. |
@daniel-thom this fixes the docs failures and updates documenter to v1 |
@daniel-thom I opened this JuliaLang/Pkg.jl#3937 I can't understand how this issue happens or how to reproduce. We only see this in the IS documentation |
In other news, I fixed this by making a change to use latest Julia for documentation instead of 1.6 |
docs/src/dev_guide/tests.md
Outdated
While developing code and tests it can be convenient to run a subset of tests. | ||
You can do this with a combination of TestEnv.jl and ReTest.jl. | ||
|
||
**Note**: Per recommendations from the developers of TestEnv.jl, install the package | ||
in your global julia environment. Do the same for Revise.jl. | ||
|
||
``` | ||
$ julia | ||
\$ julia |
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.
What are the backslashes for?
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.
The documenter throws an error if there are not escaped $ symbols
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.
I reverted the change
No description provided.