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

Enabling souffle-lang/souffle GitHub dependency graph with vcpk #2427

Merged
merged 10 commits into from
Jul 30, 2023
Merged

Enabling souffle-lang/souffle GitHub dependency graph with vcpk #2427

merged 10 commits into from
Jul 30, 2023

Commits on Jul 25, 2023

  1. integrate GitHub dependency-graph

    @quentin
    quentin authored Jul 25, 2023
    Configuration menu
    Copy the full SHA
    c3575f3 View commit details
    Browse the repository at this point in the history

  2. temporarily run on pull_request

    @quentin
    quentin authored Jul 25, 2023
    Configuration menu
    Copy the full SHA
    1d1e75f View commit details
    Browse the repository at this point in the history

  3. bootstrap vcpkg

    @quentin
    quentin authored Jul 25, 2023
    Configuration menu
    Copy the full SHA
    20896a9 View commit details
    Browse the repository at this point in the history

  4. checkout vcpkg

    @quentin
    quentin authored Jul 25, 2023
    Configuration menu
    Copy the full SHA
    6c2dd7b View commit details
    Browse the repository at this point in the history

  5. bootstrap vcpkg

    @quentin
    quentin authored Jul 25, 2023
    Configuration menu
    Copy the full SHA
    d7abdef View commit details
    Browse the repository at this point in the history

  6. checkout specific vcpkg version

    @quentin
    quentin authored Jul 25, 2023
    Configuration menu
    Copy the full SHA
    eb0e88b View commit details
    Browse the repository at this point in the history

  7. checkout vcpkg version

    @quentin
    quentin authored Jul 25, 2023
    Configuration menu
    Copy the full SHA
    77cfeff View commit details
    Browse the repository at this point in the history

Commits on Jul 29, 2023

  1. use a more recent version of vcpkg

    @quentin
    quentin authored Jul 29, 2023
    Configuration menu
    Copy the full SHA
    b5a215a View commit details
    Browse the repository at this point in the history

  2. run vcpkg with debug option

    @quentin
    quentin authored Jul 29, 2023
    Configuration menu
    Copy the full SHA
    eb69bfd View commit details
    Browse the repository at this point in the history

  3. remove pull_request trigger that was only for testing purpose

    @quentin
    quentin authored Jul 29, 2023
    Configuration menu
    Copy the full SHA
    2b0f877 View commit details
    Browse the repository at this point in the history