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

feat: enable search #700

Merged
merged 1 commit into from
Jul 18, 2023
Merged

feat: enable search #700

merged 1 commit into from
Jul 18, 2023

Conversation

mfocko
Copy link
Member

@mfocko mfocko commented Jul 18, 2023

No description provided.

@mfocko
feat: enable search
8b82715 
Signed-off-by: Matej Focko <[email protected]>
@softwarefactory-project-zuul
Copy link
Contributor

Build succeeded.
https://softwarefactory-project.io/zuul/t/packit-service/buildset/1133fb852d9340439a8cc0f990fbbcd0

✔️ pre-commit SUCCESS in 1m 04s

@mfocko mfocko added the mergeit When set, zuul wil gate and merge the PR. label Jul 18, 2023
@softwarefactory-project-zuul
Copy link
Contributor

Build succeeded (gate pipeline).
https://softwarefactory-project.io/zuul/t/packit-service/buildset/83995a3ff4ea40dc81939c382b6f055a

✔️ pre-commit SUCCESS in 1m 08s

@softwarefactory-project-zuul softwarefactory-project-zuul bot merged commit b664191 into packit:main Jul 18, 2023
1 check passed
@mfocko mfocko deleted the enable-search branch July 18, 2023 15:33
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@lbarcziova lbarcziova lbarcziova approved these changes

Assignees
No one assigned
Labels
mergeit When set, zuul wil gate and merge the PR.
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@mfocko @lbarcziova