ci: Use concurrency for pull requests only #1410
Merged
Cirrus CI / C++ (public headers)
succeeded
Aug 22, 2023 in 4s
Task Summary
Task successfully finished!
Details
✅ 00:01 clone
✅ 00:01 test
Loading