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

[CI] Enhance params env check script #567

Merged
merged 3 commits into from
Jun 19, 2024
Merged

[CI] Enhance params env check script #567

merged 3 commits into from
Jun 19, 2024

Commits on Jun 17, 2024

  1. [CI] let's run params-env workflow also on push 

    Let's run the params-env workflow that checks values in params.env
and commit.env files also on push event and also on dispatch_workflow.
    @jstourac
    jstourac committed Jun 17, 2024
    Configuration menu
    Copy the full SHA
    23fb67c View commit details
    Browse the repository at this point in the history

  2. [CI] enhance the check-params-env.sh to also check uniqueness of values 

    Up to now, it only checked that variables used in params.env file are
unique. This change checks also that the images referenced are unique as
we don't expect any of the given variables to hold the same reference.
    @jstourac
    jstourac committed Jun 17, 2024
    Configuration menu
    Copy the full SHA
    7983f1a View commit details
    Browse the repository at this point in the history

  3. [CI] check-params-env.sh prints also time of creation of the checked … 

    …image
    @jstourac
    jstourac committed Jun 17, 2024
    Configuration menu
    Copy the full SHA
    7ce69e6 View commit details
    Browse the repository at this point in the history