Skip to content

New build system. Better type checking#303

Merged
omrilotan merged 2 commits intomainfrom
maintenance
Mar 30, 2026
Merged

New build system. Better type checking#303
omrilotan merged 2 commits intomainfrom
maintenance

Conversation

@omrilotan
Copy link
Copy Markdown
Owner

No description provided.

@omrilotan omrilotan force-pushed the maintenance branch 15 times, most recently from 63a196c to a65a8c3 Compare March 30, 2026 22:01
@omrilotan omrilotan merged commit 7d612e2 into main Mar 30, 2026
4 checks passed
@omrilotan omrilotan deleted the maintenance branch March 30, 2026 22:11
omrilotan added a commit that referenced this pull request Mar 30, 2026
omrilotan added a commit that referenced this pull request Mar 30, 2026
omrilotan added a commit that referenced this pull request Mar 30, 2026
omrilotan added a commit that referenced this pull request Mar 30, 2026
omrilotan added a commit that referenced this pull request Mar 30, 2026
omrilotan added a commit that referenced this pull request Mar 30, 2026
omrilotan added a commit that referenced this pull request Mar 30, 2026
omrilotan added a commit that referenced this pull request Mar 30, 2026
omrilotan added a commit that referenced this pull request Mar 30, 2026
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