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

PR Check Fixes #114

Merged

DenizUgur merged 2 commits into main from pr_check_fixes

Oct 19, 2023

Collaborator

DenizUgur commented Oct 19, 2023 •

edited

Loading

fixes #109

for ext file consistency, check @DaTa as well
Check if new unknown boxes are covered

DenizUgur added 2 commits

October 18, 2023 23:06


          for ext file consistency, check @DaTa as well

04a6d67


          Check if new unknown boxes are covered

49e8000

DenizUgur added this pull request to the merge queue

Merged via the queue into main with commit 65ae0d7

5 checks passed

DenizUgur deleted the pr_check_fixes branch

October 19, 2023 06:14

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet