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

Add server/resetCache and use it in the server tests #11482

Merged
merged 14 commits into from
Feb 5, 2024
Merged

Add server/resetCache and use it in the server tests #11482

merged 14 commits into from
Feb 5, 2024

Commits on Jan 11, 2024

  1. [server] add server/resetCache and use it in the server tests

    @Simn
    Simn committed Jan 11, 2024
    Configuration menu
    Copy the full SHA
    828102c View commit details
    Browse the repository at this point in the history

Commits on Jan 13, 2024

  1. Merge branch 'development' into server/resetCache

    @Simn
    Simn committed Jan 13, 2024
    Configuration menu
    Copy the full SHA
    de10734 View commit details
    Browse the repository at this point in the history

Commits on Jan 16, 2024

  1. Merge branch 'development' into server/resetCache

    @Simn
    Simn committed Jan 16, 2024
    Configuration menu
    Copy the full SHA
    c1a207a View commit details
    Browse the repository at this point in the history

  2. found it

    @Simn
    Simn committed Jan 16, 2024
    Configuration menu
    Copy the full SHA
    e70aee9 View commit details
    Browse the repository at this point in the history

  3. reset more (but it's still not enough)

    @Simn
    Simn committed Jan 16, 2024
    Configuration menu
    Copy the full SHA
    16718be View commit details
    Browse the repository at this point in the history

  4. dodge segfault case to see if there are further problems

    @Simn
    Simn committed Jan 16, 2024
    Configuration menu
    Copy the full SHA
    d5afa9b View commit details
    Browse the repository at this point in the history

Commits on Jan 24, 2024

  1. Merge branch 'development' into server/resetCache

    @Simn
    Simn committed Jan 24, 2024
    Configuration menu
    Copy the full SHA
    ef3dbf8 View commit details
    Browse the repository at this point in the history

  2. [tests] setup: give GC some time to run when needed

    @kLabz
    kLabz committed Jan 24, 2024
    Configuration menu
    Copy the full SHA
    08f30ca View commit details
    Browse the repository at this point in the history

Commits on Jan 25, 2024

  1. relocate fake_modules to global typer

    @Simn
    Simn committed Jan 25, 2024
    Configuration menu
    Copy the full SHA
    5571d92 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'development' into server/resetCache

    @Simn
    Simn committed Jan 25, 2024
    Configuration menu
    Copy the full SHA
    2be24cc View commit details
    Browse the repository at this point in the history

  3. check if the full suite makes things worse still

    @Simn
    Simn committed Jan 25, 2024
    Configuration menu
    Copy the full SHA
    9125590 View commit details
    Browse the repository at this point in the history

Commits on Feb 3, 2024

  1. Merge branch 'development' into server/resetCache 

    # Conflicts:
#	src/context/typecore.ml
    @Simn
    Simn committed Feb 3, 2024
    Configuration menu
    Copy the full SHA
    4f248af View commit details
    Browse the repository at this point in the history

Commits on Feb 5, 2024

  1. Merge branch 'development' into server/resetCache 

    # Conflicts:
#	src/compiler/server.ml
#	src/context/typecore.ml
    @Simn
    Simn committed Feb 5, 2024
    Configuration menu
    Copy the full SHA
    7d7ecee View commit details
    Browse the repository at this point in the history

  2. are you the culprit?

    @Simn
    Simn committed Feb 5, 2024
    Configuration menu
    Copy the full SHA
    2606eb9 View commit details
    Browse the repository at this point in the history