ci: prefer PR-driven triggers and deduplicate runs via concurrency group - #76
Closed
MLopez-Ibanez with Copilot wants to merge 2 commits into
Closed
ci: prefer PR-driven triggers and deduplicate runs via concurrency group#76MLopez-Ibanez with Copilot wants to merge 2 commits into
MLopez-Ibanez with Copilot wants to merge 2 commits into