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 dune 3.6 language + mdx 0.3 stanza #3567

Draft
wants to merge 10 commits into
base: master
Choose a base branch
from
Draft

Use dune 3.6 language + mdx 0.3 stanza #3567

wants to merge 10 commits into from

Commits on Feb 1, 2023

  1. Enable lang 3.0

    @Leonidas-from-XIV
    Leonidas-from-XIV committed Feb 1, 2023
    Configuration menu
    Copy the full SHA
    9d5cd23 View commit details
    Browse the repository at this point in the history

  2. Remove unused code in binary

    @Leonidas-from-XIV
    Leonidas-from-XIV committed Feb 1, 2023
    Configuration menu
    Copy the full SHA
    5865860 View commit details
    Browse the repository at this point in the history

  3. Upgrade to use mdx 0.2 stanza

    @Leonidas-from-XIV
    Leonidas-from-XIV committed Feb 1, 2023
    Configuration menu
    Copy the full SHA
    2db3199 View commit details
    Browse the repository at this point in the history

  4. Remove unused pp_text_md

    @Leonidas-from-XIV
    Leonidas-from-XIV committed Feb 1, 2023
    Configuration menu
    Copy the full SHA
    7e9f810 View commit details
    Browse the repository at this point in the history

  5. Fix Deferred.t not being evaluated

    @Leonidas-from-XIV
    Leonidas-from-XIV committed Feb 1, 2023
    Configuration menu
    Copy the full SHA
    5484bd2 View commit details
    Browse the repository at this point in the history

  6. Link in base

    @Leonidas-from-XIV
    Leonidas-from-XIV committed Feb 1, 2023
    Configuration menu
    Copy the full SHA
    8ee1ca0 View commit details
    Browse the repository at this point in the history

  7. Bump to dune 3.6

    @Leonidas-from-XIV
    Leonidas-from-XIV committed Feb 1, 2023
    Configuration menu
    Copy the full SHA
    a34cf8a View commit details
    Browse the repository at this point in the history

  8. Update lock file and dependency definitions

    @Leonidas-from-XIV
    Leonidas-from-XIV committed Feb 1, 2023
    Configuration menu
    Copy the full SHA
    1de21a8 View commit details
    Browse the repository at this point in the history

Commits on Feb 2, 2023

  1. Use newer mdx stanza with lock support

    @Leonidas-from-XIV
    Leonidas-from-XIV committed Feb 2, 2023
    Configuration menu
    Copy the full SHA
    a2f1d03 View commit details
    Browse the repository at this point in the history

  2. Add locks

    @Leonidas-from-XIV
    Leonidas-from-XIV committed Feb 2, 2023
    Configuration menu
    Copy the full SHA
    07dea11 View commit details
    Browse the repository at this point in the history