use `github.ref` instead of `github.sha` in the `concurrency.group` of `CI`#337

Merged

jorenham merged 1 commit intomasterfrom

ci-concurrency-group

Jun 9, 2025

Commits on Jun 9, 2025

use `github.ref` instead of `github.sha` in the `concurrency.group` of `CI`
jorenham
committed