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

Sort study search results #12088

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

Sort study search results #12088

wants to merge 5 commits into from

Commits on Dec 23, 2022

  1. Allow study search results to be ordered

    @dignissimus
    dignissimus committed Dec 23, 2022
    Configuration menu
    Copy the full SHA
    4a5841b View commit details
    Browse the repository at this point in the history

  2. Format Scala

    @dignissimus
    dignissimus committed Dec 23, 2022
    Configuration menu
    Copy the full SHA
    ab41b05 View commit details
    Browse the repository at this point in the history

  3. Pull changes from upstream

    @dignissimus
    dignissimus committed Dec 23, 2022
    Configuration menu
    Copy the full SHA
    8841b0f View commit details
    Browse the repository at this point in the history

  4. Pull from upstream

    @dignissimus
    dignissimus committed Dec 23, 2022
    Configuration menu
    Copy the full SHA
    a31167f View commit details
    Browse the repository at this point in the history

  5. Preserve display order

    @dignissimus
    dignissimus committed Dec 23, 2022
    Configuration menu
    Copy the full SHA
    613f2cb View commit details
    Browse the repository at this point in the history