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

Simple fixes #1197

Merged
merged 3 commits into from
Feb 18, 2022
Merged

Simple fixes #1197

merged 3 commits into from
Feb 18, 2022

Commits on Feb 18, 2022

  1. [SCons] Add check for standard libraries

    @ischoegl
    ischoegl committed Feb 18, 2022
    Configuration menu
    Copy the full SHA
    cb22d25 View commit details
    Browse the repository at this point in the history

  2. [CI] Cancel redundant jobs 

    Co-Authored-By: Bryan W. Weber <bryan.w.weber@gmail.com>
    @ischoegl @bryanwweber
    ischoegl and bryanwweber committed Feb 18, 2022
    Configuration menu
    Copy the full SHA
    64664af View commit details
    Browse the repository at this point in the history

  3. [CI] Reduce timeout limits 

    Some PR's may create convergence issues in individual tests of the test suite
that are only uncovered when a PR is pushed. This update ensures that jobs are
cancelled to avoid CI bottlenecks.
    @ischoegl
    ischoegl committed Feb 18, 2022
    Configuration menu
    Copy the full SHA
    45076ac View commit details
    Browse the repository at this point in the history