Hennadii Stepanov ee1be62d84
ci: Use concurrency for pull requests only
Otherwise, any previously pending workflow will be canceled on the
following push.
2023-08-22 15:02:30 +01:00
..