mirror of
https://github.com/minio/minio.git
synced 2025-03-28 08:20:58 -04:00
- This should lead to faster results as jobs will be queued for shorter periods when PRs are updated. - Current behavior is that previously running CI jobs for an updated PR run to completion needlessly, and cause new CI jobs to be queued. Ref: https://docs.github.com/en/actions/learn-github-actions/workflow-syntax-for-github-actions#concurrency