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

ci: Improve github actions workflows #3235

Merged
merged 10 commits into from
Feb 22, 2024

Commits on Feb 21, 2024

  1. ci: Use actions/download-artifact instead of dawidd6/action-download-…

    …artifact
    
    The "default" action now supports downloading from different workflow runs, too, so
    we might as well use it.
    wolfgangwalther committed Feb 21, 2024
    Configuration menu
    Copy the full SHA
    9404a00 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    0c4141c View commit details
    Browse the repository at this point in the history
  3. ci: Cancel all workflows consistently in pull requests without blocki…

    …ng main
    
    The previous setup would cause multiple commits on main to be stuck in a pending
    state, waiting for the previous run to be finished.
    
    The new group specification is taken from:
    https://docs.github.com/en/actions/using-jobs/using-concurrency#example-using-a-fallback-value
    
    This also adds the same settings for the docs workflow.
    wolfgangwalther committed Feb 21, 2024
    Configuration menu
    Copy the full SHA
    e986b8e View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    6bc7bc1 View commit details
    Browse the repository at this point in the history
  5. ci: Remove files from arm server immediately on non-release push

    While this duplicates code a little bit, it makes it much simpler to refactor later on.
    wolfgangwalther committed Feb 21, 2024
    Configuration menu
    Copy the full SHA
    e20025f View commit details
    Browse the repository at this point in the history
  6. Configuration menu
    Copy the full SHA
    0b24ade View commit details
    Browse the repository at this point in the history
  7. Configuration menu
    Copy the full SHA
    373855e View commit details
    Browse the repository at this point in the history
  8. Configuration menu
    Copy the full SHA
    756d2ad View commit details
    Browse the repository at this point in the history
  9. Configuration menu
    Copy the full SHA
    f110817 View commit details
    Browse the repository at this point in the history

Commits on Feb 22, 2024

  1. ci: Merge docs-spellcheck and docs-dictcheck jobs

    Both jobs run really quick, running them separate is just a waste of resources. Plus,
    they are semantically closely related anyway.
    wolfgangwalther committed Feb 22, 2024
    Configuration menu
    Copy the full SHA
    41203cc View commit details
    Browse the repository at this point in the history