chore(ci): fix workspace version enforcing job #5817
Merged
Mergify / Rule: Add send-it labeled PRs to merge queue (queue)
succeeded
Jan 16, 2025 in 0s
The pull request has been merged automatically
The pull request has been merged automatically at 7c36d30
Loading