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.

Sign up for GitHub

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

Jump to bottom

Use Docc for documentation #613

Merged
merged 4 commits into from Aug 9, 2022
Merged

Use Docc for documentation #613

merged 4 commits into from Aug 9, 2022

Commits on Aug 9, 2022

  1. Use Docc for documentation 

    Motivation

Documentation is nice, and we can help support users by providing useful
clear docs.

Modifications

Add Docc to 5.6 and later builds
Make sure symbol references work
Add overview docs

Result

Nice rendering docs
    @Lukasa
    Lukasa committed Aug 9, 2022
    Configuration menu
    Copy the full SHA
    4795f62 View commit details
    Browse the repository at this point in the history

  2. Clean up soundness

    @Lukasa
    Lukasa committed Aug 9, 2022
    Configuration menu
    Copy the full SHA
    eda7a2b View commit details
    Browse the repository at this point in the history

  3. Franz code review comments

    @Lukasa
    Lukasa committed Aug 9, 2022
    Configuration menu
    Copy the full SHA
    2e4eaff View commit details
    Browse the repository at this point in the history

  4. Enable test discovery

    @Lukasa
    Lukasa committed Aug 9, 2022
    Configuration menu
    Copy the full SHA
    00ecbfd View commit details
    Browse the repository at this point in the history