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

feat/bugfix: on failed update, put dependents below definitions that were in file before running update #5250

Merged
merged 10 commits into from
Aug 2, 2024
Merged

feat/bugfix: on failed update, put dependents below definitions that were in file before running update #5250

merged 10 commits into from
Aug 2, 2024

Commits on Jul 16, 2024

  1. automatically run ormolu

    @mitchellwrosen @github-actions
    mitchellwrosen authored and github-actions[bot] committed Jul 16, 2024
    Configuration menu
    Copy the full SHA
    a406431 View commit details
    Browse the repository at this point in the history

Commits on Jul 22, 2024

  1. update work

    @mitchellwrosen
    mitchellwrosen committed Jul 22, 2024
    Configuration menu
    Copy the full SHA
    c7a55f0 View commit details
    Browse the repository at this point in the history

Commits on Jul 23, 2024

  1. simplify update

    @mitchellwrosen
    mitchellwrosen committed Jul 23, 2024
    Configuration menu
    Copy the full SHA
    4b68359 View commit details
    Browse the repository at this point in the history

  2. get transcripts passing

    @mitchellwrosen
    mitchellwrosen committed Jul 23, 2024
    Configuration menu
    Copy the full SHA
    7506ae2 View commit details
    Browse the repository at this point in the history

Commits on Jul 24, 2024

  1. move some code around

    @mitchellwrosen
    mitchellwrosen committed Jul 24, 2024
    Configuration menu
    Copy the full SHA
    7c307e6 View commit details
    Browse the repository at this point in the history

  2. ⅄ trunk → update-defn-order

    @mitchellwrosen
    mitchellwrosen committed Jul 24, 2024
    Configuration menu
    Copy the full SHA
    e64ffb6 View commit details
    Browse the repository at this point in the history

  3. simplify checkDeclCoherency again

    @mitchellwrosen
    mitchellwrosen committed Jul 24, 2024
    Configuration menu
    Copy the full SHA
    aea1660 View commit details
    Browse the repository at this point in the history

  4. delete unused imports

    @mitchellwrosen
    mitchellwrosen committed Jul 24, 2024
    Configuration menu
    Copy the full SHA
    c4c2327 View commit details
    Browse the repository at this point in the history

Commits on Aug 1, 2024

  1. tweak output messages

    @aryairani
    aryairani committed Aug 1, 2024
    Configuration menu
    Copy the full SHA
    9100b97 View commit details
    Browse the repository at this point in the history

Commits on Aug 2, 2024

  1. Merge pull request #5262 from unisonweb/update-defn-order-tweak

    @aryairani
    aryairani authored Aug 2, 2024
    Configuration menu
    Copy the full SHA
    d184ac1 View commit details
    Browse the repository at this point in the history