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

Normative: Add Source Phase Imports #3094

Open
wants to merge 10 commits into
base: main
Choose a base branch
from
Open

Normative: Add Source Phase Imports #3094

wants to merge 10 commits into from

Commits on Jun 8, 2023

  1. Normative: Add Source Phase Imports

    @lucacasonato
    lucacasonato committed Jun 8, 2023
    Configuration menu
    Copy the full SHA
    52fed39 View commit details
    Browse the repository at this point in the history

Commits on Jun 29, 2023

  1. loadRecursively bool -> loadType enum

    @lucacasonato
    lucacasonato committed Jun 29, 2023
    Configuration menu
    Copy the full SHA
    c0e3247 View commit details
    Browse the repository at this point in the history

  2. fix throw completion

    @lucacasonato
    lucacasonato committed Jun 29, 2023
    Configuration menu
    Copy the full SHA
    78c0396 View commit details
    Browse the repository at this point in the history

  3. Remove Module Source Record

    @lucacasonato
    lucacasonato committed Jun 29, 2023
    Configuration menu
    Copy the full SHA
    56b7338 View commit details
    Browse the repository at this point in the history

  4. other typos

    @lucacasonato
    lucacasonato committed Jun 29, 2023
    Configuration menu
    Copy the full SHA
    50ddac9 View commit details
    Browse the repository at this point in the history

  5. Fix load type enum

    @lucacasonato
    lucacasonato committed Jun 29, 2023
    Configuration menu
    Copy the full SHA
    0a55889 View commit details
    Browse the repository at this point in the history

  6. michael's comments

    @lucacasonato
    lucacasonato committed Jun 29, 2023
    Configuration menu
    Copy the full SHA
    24624fe View commit details
    Browse the repository at this point in the history

Commits on Jul 11, 2023

  1. review comments

    @lucacasonato
    lucacasonato committed Jul 11, 2023
    Configuration menu
    Copy the full SHA
    d62f512 View commit details
    Browse the repository at this point in the history

  2. fmt

    @lucacasonato
    lucacasonato committed Jul 11, 2023
    Configuration menu
    Copy the full SHA
    4875e37 View commit details
    Browse the repository at this point in the history

Commits on Jul 12, 2023

  1. jmdyck review feedback

    @lucacasonato
    lucacasonato committed Jul 12, 2023
    Configuration menu
    Copy the full SHA
    09325f7 View commit details
    Browse the repository at this point in the history