Pipeline and linters housekeeping #796

Open

Assignees

Labels

opened

on Nov 18, 2025

Update deps, linters, etc.
Review lint configs; excludes/overrides

See #792 and #795

Metadata

Assignees

OmidTahouri

Labels

Type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests