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

Use Gurobi_jll for binaries #545

Merged
merged 8 commits into from
May 22, 2024
Merged

Use Gurobi_jll for binaries #545

merged 8 commits into from
May 22, 2024

Commits on May 14, 2024

  1. WIP: use Gurobi_jll for binaries

    @odow
    odow committed May 14, 2024
    Configuration menu
    Copy the full SHA
    aca4687 View commit details
    Browse the repository at this point in the history

  2. Update

    @odow
    odow committed May 14, 2024
    Configuration menu
    Copy the full SHA
    dabf60c View commit details
    Browse the repository at this point in the history

  3. upate

    @odow
    odow committed May 14, 2024
    Configuration menu
    Copy the full SHA
    7062a8c View commit details
    Browse the repository at this point in the history

  4. Update Project.toml

    @odow
    odow committed May 14, 2024
    Configuration menu
    Copy the full SHA
    33088bc View commit details
    Browse the repository at this point in the history

  5. Update

    @odow
    odow committed May 14, 2024
    Configuration menu
    Copy the full SHA
    868adc2 View commit details
    Browse the repository at this point in the history

  6. Update

    @odow
    odow committed May 14, 2024
    Configuration menu
    Copy the full SHA
    4d64f6a View commit details
    Browse the repository at this point in the history

  7. Update ci.yml

    @odow
    odow committed May 14, 2024
    Configuration menu
    Copy the full SHA
    2f4d5b8 View commit details
    Browse the repository at this point in the history

  8. Add docs

    @odow
    odow committed May 14, 2024
    Configuration menu
    Copy the full SHA
    8a06d34 View commit details
    Browse the repository at this point in the history