Skip to content

ci: Add ci pipeline#1

Merged
sudosubin merged 1 commit intomainfrom
feature/add-ci
Feb 7, 2026
Merged

ci: Add ci pipeline#1
sudosubin merged 1 commit intomainfrom
feature/add-ci

Conversation

@sudosubin
Copy link
Owner

@sudosubin sudosubin commented Feb 7, 2026

Summary

  • Add CI for typecheck using GitHub Actions

@sudosubin sudosubin self-assigned this Feb 7, 2026
@sudosubin sudosubin merged commit 58d30e3 into main Feb 7, 2026
1 check passed
@sudosubin sudosubin deleted the feature/add-ci branch February 7, 2026 16:14
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