Skip to content

Fix lint CI workflow to use uv#7

Merged
folded merged 5 commits intomainfrom
fix-lint-ci
Mar 14, 2026
Merged

Fix lint CI workflow to use uv#7
folded merged 5 commits intomainfrom
fix-lint-ci

Conversation

@folded
Copy link
Collaborator

@folded folded commented Mar 13, 2026

Summary

  • Replaces pip install -r requirements-dev.txt with uv run pre-commit — the project uses uv and has no requirements-dev.txt
  • Removes the defaults.run.shell: bash -l {0} override (was only needed for conda environments)
  • Updates setup-python action from v4 to v5 to match the build workflow

Test plan

  • Lint CI should pass on this PR

🤖 Generated with Claude Code

folded and others added 4 commits March 14, 2026 09:45
pymupdf's AGPL license is incompatible with downstream use; pypdfium2
wraps the same PDFium engine (used in Chromium) under Apache-2.0.

Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
Required for uv run pre-commit to work in CI.

Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
- Add type annotations to _key() in annotate()
- Rename unused `tag` -> `_tag`
- Fix missing newline at end of anchorite.svg

Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
@folded folded requested a review from lgruen-vcgs March 14, 2026 00:17
The branch ruleset requires the Lint check to run on PRs; push-only
triggers don't satisfy PR required status checks.

Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
Copy link
Contributor

@lgruen-vcgs lgruen-vcgs left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I guess that makes #4 obsolete?

@folded
Copy link
Collaborator Author

folded commented Mar 14, 2026

Yeah, I (claude) didn't get the branch structure right. I'm not massively worried about a perfect commit history, so I'll just roll with this.

@folded folded merged commit a12331c into main Mar 14, 2026
3 checks passed
@folded folded deleted the fix-lint-ci branch March 14, 2026 06:01
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants