Skip to content

Update CI, update projects, delete defunct projects#4

Merged
oprypin merged 5 commits intomainfrom
fix
Mar 22, 2026
Merged

Update CI, update projects, delete defunct projects#4
oprypin merged 5 commits intomainfrom
fix

Conversation

@oprypin
Copy link
Copy Markdown
Member

@oprypin oprypin commented Mar 22, 2026

  • Update projects, delete defunct projects
  • Add a Ruff config
  • Add type annotations
  • Fix silently skipping the case when the subprocess fails
  • Fix/expand validation to "properdocs_*" keys

@oprypin oprypin merged commit ccc674b into main Mar 22, 2026
2 checks passed
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.

1 participant