mirror of
https://github.com/seaweedfs/seaweedfs.git
synced 2026-10-25 06:20:42 +01:00
github.head_ref is empty on tag pushes and manual runs (every run then shares one group and cancels the last) and collides across forks when two PRs share a branch name. pull_request.number is unique per PR; github.ref covers push/tag/dispatch. Applied to all workflows using the pattern, including pre-existing ones. Generated with [Devin](https://devin.ai) Co-Authored-By: Devin <158243242+devin-ai-integration[bot]@users.noreply.github.com>