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

Try to make etc/ci_test.sh work #1033

Merged
merged 6 commits into from
Sep 10, 2024
Merged

Try to make etc/ci_test.sh work #1033

merged 6 commits into from
Sep 10, 2024

Commits on Sep 4, 2024

  1. Try to make etc/ci_test.sh work

    @lgoettgens
    lgoettgens committed Sep 4, 2024
    Configuration menu
    Copy the full SHA
    5293dd3 View commit details
    Browse the repository at this point in the history

Commits on Sep 5, 2024

  1. Apply suggestions from code review

    @fingolfin
    fingolfin authored Sep 5, 2024
    Configuration menu
    Copy the full SHA
    9fa3311 View commit details
    Browse the repository at this point in the history

  2. Fixes

    @lgoettgens
    lgoettgens committed Sep 5, 2024
    Configuration menu
    Copy the full SHA
    103e244 View commit details
    Browse the repository at this point in the history

Commits on Sep 6, 2024

  1. Update env var handling

    @lgoettgens
    lgoettgens committed Sep 6, 2024
    Configuration menu
    Copy the full SHA
    6dbc976 View commit details
    Browse the repository at this point in the history

  2. Use make for cleanup

    @lgoettgens
    lgoettgens committed Sep 6, 2024
    Configuration menu
    Copy the full SHA
    d90e754 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'master' into lg/gcov

    @lgoettgens
    lgoettgens authored Sep 6, 2024
    Configuration menu
    Copy the full SHA
    faba40b View commit details
    Browse the repository at this point in the history