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

[api] Adds Criteria.isDownload() api #3403

Merged

frankfliu merged 1 commit into deepjavalibrary:master from frankfliu:zoo

Aug 13, 2024

Contributor

frankfliu commented Aug 11, 2024

Fixes: #3397

Description

Brief description of what this PR is about

If this change is a backward incompatible change, why must this change be made?
Interesting edge cases to note here


          [api] Adds Criteria.isDownload() api

6fa231e

Fixes: deepjavalibrary#3397

frankfliu requested review from zachgk and a team as code owners

August 11, 2024 01:53

xyang16 approved these changes

View reviewed changes

frankfliu merged commit a22b905 into deepjavalibrary:master

5 checks passed

frankfliu deleted the zoo branch

August 13, 2024 22:18

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

Labels

None yet