ci: still run lint (since it's required) but exit early

[TylerBarnes]

Some PRs (like chore: version) can't be merged because lint is a required action but it's not configured to run on those PRs. This change is a little hacky but I didn't see a better alternative

[vercel]

The latest updates on your projects. Learn more about Vercel for Git ↗︎

Name	Status	Preview	Comments	Updated (UTC)
assistant-ui	✅ Ready (Inspect)	Visit Preview	💬 Add feedback	Mar 10, 2025 10:22pm
bird-checker	✅ Ready (Inspect)	Visit Preview	💬 Add feedback	Mar 10, 2025 10:22pm
crypto-chatbot	✅ Ready (Inspect)	Visit Preview	💬 Add feedback	Mar 10, 2025 10:22pm
mastra-docs	✅ Ready (Inspect)	Visit Preview	💬 Add feedback	Mar 10, 2025 10:22pm
openapi-spec-writer	✅ Ready (Inspect)	Visit Preview	💬 Add feedback	Mar 10, 2025 10:22pm
travel-ai	❌ Failed (Inspect)			Mar 10, 2025 10:22pm

[codesandbox]

Review or Edit in CodeSandbox

Open the branch in Web Editor • VS Code • Insiders

Open Preview

[changeset-bot]

⚠️ No Changeset found

Latest commit: 875da84

Merging this PR will not cause a version bump for any packages. If these changes should not result in a new version, you're good to go. If these changes should result in a version bump, you need to add a changeset.

This PR includes no changesets

When changesets are added to this PR, you'll see the packages that this PR includes changesets for and the associated semver types

Click here to learn what changesets are, and how to add one.

Click here if you're a maintainer who wants to add a changeset to this PR

[promptless]

✅ No documentation updates required.

[github-actions]

Braintrust eval report

No experiments to report