nodiscc 2745323ec8 tools: github actions: prevent multiple concurrent workflow runs on the same branch/ref ... - cancel other pending/in-progress workflows if a new commit is pushed to the ref - ref. https://docs.github.com/en/actions/using-workflows/workflow-syntax-for-github-actions#concurrency		2023-01-24 18:04:47 +01:00
..
ci.yml	tools: github actions: prevent multiple concurrent workflow runs on the same branch/ref	2023-01-24 18:04:47 +01:00
update-metadata.yml	tools: github actions: prevent multiple concurrent workflow runs on the same branch/ref	2023-01-24 18:04:47 +01:00