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

wsl build fix #244

Closed
wants to merge 7 commits into from
Closed

wsl build fix #244

wants to merge 7 commits into from

Commits on Jun 23, 2023

  1. Dont use cache for wsl build

    @mohammedzakikochargi
    mohammedzakikochargi committed Jun 23, 2023
    Configuration menu
    Copy the full SHA
    8c6ba36 View commit details
    Browse the repository at this point in the history

  2. changed vampire version

    @mohammedzakikochargi
    mohammedzakikochargi committed Jun 23, 2023
    Configuration menu
    Copy the full SHA
    7d9812c View commit details
    Browse the repository at this point in the history

  3. enabled debug

    @mohammedzakikochargi
    mohammedzakikochargi committed Jun 23, 2023
    Configuration menu
    Copy the full SHA
    ba80f6e View commit details
    Browse the repository at this point in the history

Commits on Jun 27, 2023

  1. enabled debug in vcpkg

    @mohammedzakikochargi
    mohammedzakikochargi committed Jun 27, 2023
    Configuration menu
    Copy the full SHA
    72b6209 View commit details
    Browse the repository at this point in the history

Commits on Jul 11, 2023

  1. Merge branch 'main' into wslFix

    @mraduldubey
    mraduldubey authored Jul 11, 2023
    Configuration menu
    Copy the full SHA
    a8ad1ab View commit details
    Browse the repository at this point in the history

Commits on Jul 13, 2023

  1. update wsl vers to 2 - default on builder is wsl2

    Vinayak Bhustali committed Jul 13, 2023
    Configuration menu
    Copy the full SHA
    56f3325 View commit details
    Browse the repository at this point in the history

Commits on Jul 17, 2023

  1. Merge branch 'main' into wslFix

    @mraduldubey
    mraduldubey authored Jul 17, 2023
    Configuration menu
    Copy the full SHA
    3b8432f View commit details
    Browse the repository at this point in the history