[CI] Cancel on concurrency

[yaox12]

Description

Enable cancellation on concurrency to CI jobs to save CI resources, e.g., autoformatting from the pre-commit hook will trigger new CI jobs.

Type of change

• Documentation change (change only to the documentation, either a fix or a new content)
• Bug fix (non-breaking change which fixes an issue)
• New feature (non-breaking change which adds functionality)
• Breaking change (fix or feature that would cause existing functionality to not work as expected)
• Infra/Build change
• Code refactoring

[greptile-apps]

Greptile Summary

Added concurrency cancellation to three CI workflows (Build, Documentation, Lint) to prevent wasted CI resources when new commits are pushed to the same PR.

• Configured concurrency groups using workflow name + PR number (or branch ref for non-PR triggers)
• Set cancel-in-progress: true to automatically cancel outdated workflow runs
• Implementation follows GitHub Actions best practices for CI resource optimization

Confidence Score: 5/5

• This PR is safe to merge with no risk
• The concurrency configuration uses the standard GitHub Actions pattern correctly. Each workflow is properly scoped, and the fallback logic handles all trigger types appropriately. This is a common CI optimization with no functional impact on the codebase itself.
• No files require special attention

Important Files Changed

Filename	Overview
.github/workflows/build.yml	Added concurrency cancellation to prevent concurrent build runs on the same PR or branch
.github/workflows/docs.yml	Added concurrency cancellation to prevent concurrent documentation build runs
.github/workflows/lint.yml	Added concurrency cancellation to prevent concurrent lint runs on the same PR or branch

_{Last reviewed commit: d17a88d}

[greptile-apps]

_{3 files reviewed, no comments}

_{Edit Code Review Agent Settings | Greptile}