julia
Allow running just doctests
#32376
Merged

Allow running just doctests #32376

mortenpi
mortenpi mortenpi force pushed from 64accee5 to 71ad1b4b 7 years ago
mortenpi Add docstest=only option to docs/make.jl
0c77299a
mortenpi mortenpi force pushed from 71ad1b4b to 0c77299a 7 years ago
mortenpi mortenpi changed the title WIP/RFC: Allow running just doctests Allow running just doctests 7 years ago
mortenpi mortenpi marked this pull request as ready for review 7 years ago
mortenpi
fredrikekre fredrikekre merged 43245311 into master 7 years ago
mortenpi mortenpi deleted the mp/doctest branch 7 years ago

Login to write a write a comment.

Login via GitHub

Reviewers
No reviews
Assignees
No one assigned
Labels
Milestone