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.

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

GitHub Workflows reorganization. #1927

Merged
merged 7 commits into from
Mar 26, 2021
Merged

GitHub Workflows reorganization. #1927

merged 7 commits into from
Mar 26, 2021

Commits on Mar 25, 2021

  1. Configuration menu
    Copy the full SHA
    5c1d0c4 View commit details
    Browse the repository at this point in the history
  2. Looking at the behaviour of GitHub Actions, what takes the most time …

    …is to wait for a runner for a workflow.
    
    Once the workflow has a runner, we spend less time waiting for executors for each job.
    
    As a consequence, it makes sense to limit the number of *workflows* as much as possible, and to use the *jobs* for a proper reporting in GitHub.
    
    This commit is an attempt to have one workflow for PR, and one workflow for push.
    
    It implies some duplication of code but I guess this is the price to pay for less wait time.
    themr0c committed Mar 25, 2021
    Configuration menu
    Copy the full SHA
    a2969a8 View commit details
    Browse the repository at this point in the history

Commits on Mar 26, 2021

  1. Configuration menu
    Copy the full SHA
    bed55a2 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    1b07f9e View commit details
    Browse the repository at this point in the history
  3. Fixes

    themr0c committed Mar 26, 2021
    Configuration menu
    Copy the full SHA
    1454cbf View commit details
    Browse the repository at this point in the history
  4. Fixes

    themr0c committed Mar 26, 2021
    Configuration menu
    Copy the full SHA
    2eac311 View commit details
    Browse the repository at this point in the history
  5. Fix job name

    themr0c committed Mar 26, 2021
    Configuration menu
    Copy the full SHA
    3f68b1f View commit details
    Browse the repository at this point in the history