Skip to content

ci: fix all types, and typecheck in workflow #215

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Merged
merged 7 commits into from
Jun 17, 2025
Merged

ci: fix all types, and typecheck in workflow #215

merged 7 commits into from
Jun 17, 2025

Conversation

neo451
Copy link
Member

@neo451 neo451 commented Jun 17, 2025 •
edited
Loading

  • Simplified how SearchOpts work.
  • proper .luarc.json
  • a workflow to run make types

PR Checklist

  • The PR contains a description of the changes
  • I read the [CONTRIBUTING.md] file
  • The CHANGELOG.md is updated
  • The changes are documented in the README.md file
  • The code complies with make chores (for style, lint, types, and tests)

@neo451 neo451 changed the title Fix types ci: fix all types, and typecheck in workflow Jun 17, 2025
@neo451 neo451 merged commit 5f480e7 into main Jun 17, 2025
8 checks passed
@neo451 neo451 deleted the fix_types branch June 17, 2025 10:54
@neo451 neo451 mentioned this pull request Jun 17, 2025
Closed
7 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@neo451