Use 'concurrency' in GitHub workflows#3610

Merged

nlohmann merged 1 commit intonlohmann:developfrom falbrechtskirchinger:ci-concurrency

Jul 28, 2022

+16

Commits on Jul 26, 2022

Use concurrency
falbrechtskirchinger
committed