Skip to content

ci: add lint and api tests#2

Merged
dhaustein merged 2 commits intomainfrom
add-ci
Sep 17, 2025
Merged

ci: add lint and api tests#2
dhaustein merged 2 commits intomainfrom
add-ci

Conversation

@dhaustein
Copy link
Copy Markdown
Owner

@dhaustein dhaustein commented Sep 17, 2025

  • adds github workflow CI for:
    • lint
    • api tests
  • fixes the remaining typing errors in a separate commit

@dhaustein dhaustein self-assigned this Sep 17, 2025
@dhaustein dhaustein added the regenerate-api-client Request CI to run API client re-generation label Sep 17, 2025
@dhaustein dhaustein merged commit f68bf2f into main Sep 17, 2025
6 checks passed
@dhaustein dhaustein deleted the add-ci branch September 17, 2025 13:34
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

regenerate-api-client Request CI to run API client re-generation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant