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

Pkg version handling and choosable test backend for VSCode (again) #455

Merged
merged 6 commits into from
Jul 15, 2024
Merged

Pkg version handling and choosable test backend for VSCode (again) #455

merged 6 commits into from
Jul 15, 2024

Commits on Jul 12, 2024

  1. Removed branch filtering for PRs

    @cncastillo
    cncastillo committed Jul 12, 2024
    Configuration menu
    Copy the full SHA
    f427808 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into fix-benchmarks-for-pr

    @cncastillo
    cncastillo authored Jul 12, 2024
    Configuration menu
    Copy the full SHA
    2bf7fff View commit details
    Browse the repository at this point in the history

Commits on Jul 14, 2024

  1. Cleaned how pkg versions were used

    @cncastillo
    cncastillo committed Jul 14, 2024
    Configuration menu
    Copy the full SHA
    059d335 View commit details
    Browse the repository at this point in the history

Commits on Jul 15, 2024

  1. Added test backend preference

    @cncastillo
    cncastillo committed Jul 15, 2024
    Configuration menu
    Copy the full SHA
    82c1d3f View commit details
    Browse the repository at this point in the history

  2. Updated runtests.jl comment

    @cncastillo
    cncastillo committed Jul 15, 2024
    Configuration menu
    Copy the full SHA
    8344088 View commit details
    Browse the repository at this point in the history

  3. Put back pull_request branch specification

    @cncastillo
    cncastillo committed Jul 15, 2024
    Configuration menu
    Copy the full SHA
    cdcc171 View commit details
    Browse the repository at this point in the history