Skip to content
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

[BUG]: The batch, the sync and the missing vector #2062

Open
wants to merge 5 commits into
base: main
Choose a base branch
from
Open

[BUG]: The batch, the sync and the missing vector #2062

wants to merge 5 commits into from

Commits on May 14, 2024

  1. [BUG]: The batch, the sync and the missing vector

    @tazarov
    tazarov committed May 14, 2024
    Configuration menu
    Copy the full SHA
    9ca85f3 View commit details
    Browse the repository at this point in the history

  2. feat: Updated/fixed prop tests 

    - Added a new test to verify the specific use case we've fixed

WARNING: Property tests are expected to fail! There is another bug that will get stacked on top of this.
    @tazarov
    tazarov committed May 14, 2024
    Configuration menu
    Copy the full SHA
    de5f87a View commit details
    Browse the repository at this point in the history

  3. feat: Simpler and more elegant way to deal with the problem (1-liner)

    @tazarov
    tazarov committed May 14, 2024
    Configuration menu
    Copy the full SHA
    7cc68db View commit details
    Browse the repository at this point in the history

  4. chore: Limiting number of examples as test times out.

    @tazarov
    tazarov committed May 14, 2024
    Configuration menu
    Copy the full SHA
    5685050 View commit details
    Browse the repository at this point in the history

  5. chore: Further reducing examples and setting deadline to None

    @tazarov
    tazarov committed May 14, 2024
    Configuration menu
    Copy the full SHA
    805bc79 View commit details
    Browse the repository at this point in the history