Skip to content

Merge pull request #157 from jianyi-gronk/feature/ui/globalSearch #19

Merge pull request #157 from jianyi-gronk/feature/ui/globalSearch

Merge pull request #157 from jianyi-gronk/feature/ui/globalSearch #19

Triggered via push January 21, 2024 14:26
Status Success
Total duration 2m 0s
Artifacts
Fit to window
Zoom out
Zoom in