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.

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

document: implement advanced search #1069

Merged
merged 1 commit into from
Dec 7, 2023

Conversation

Garfield-fr
Copy link
Contributor

@Garfield-fr Garfield-fr commented Oct 25, 2023

@Garfield-fr Garfield-fr self-assigned this Oct 25, 2023
@github-actions github-actions bot added f: professional ui Professional interface f: editor Concerns editor based on JSON schema AND custom editor labels Oct 25, 2023
@Garfield-fr Garfield-fr force-pushed the zub-advanced-search branch 2 times, most recently from c48bed2 to 12e8b51 Compare October 26, 2023 08:22
@Garfield-fr Garfield-fr marked this pull request as ready for review October 30, 2023 09:23
@Garfield-fr Garfield-fr force-pushed the zub-advanced-search branch 3 times, most recently from 0d89c25 to 229349e Compare October 31, 2023 12:08
@Garfield-fr Garfield-fr force-pushed the zub-advanced-search branch 4 times, most recently from fd11dd9 to 3b52c2a Compare November 15, 2023 09:06
Co-Authored-by: Bertrand Zuchuat <[email protected]>
@Garfield-fr Garfield-fr merged commit f20b6fc into rero:staging Dec 7, 2023
1 of 3 checks passed
@Garfield-fr Garfield-fr deleted the zub-advanced-search branch December 11, 2023 07:02
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
f: editor Concerns editor based on JSON schema AND custom editor f: professional ui Professional interface
Projects
None yet
Development

Successfully merging this pull request may close these issues.

5 participants