Skip to content
Continuous Integration

Update search result index when changing selection #103

Sign in to view logs

Update search result index when changing selection

Update search result index when changing selection #103

Triggered via pull request January 4, 2026 17:46
@stefanhallerstefanhaller
opened #95
update-search-result-index-when-changing-selection
Status Success
Total duration 16s
Artifacts –

ci.yml

on: pull_request
ci
13s
ci
Fit to window
Zoom out
Zoom in