Skip to content

Merge pull request #5254 from unisonweb/cp/defn-search-sync #2161

Merge pull request #5254 from unisonweb/cp/defn-search-sync

Merge pull request #5254 from unisonweb/cp/defn-search-sync #2161

Re-run triggered July 30, 2024 02:31
Status Success
Total duration 5m 24s
Artifacts
Matrix: nix
Fit to window
Zoom out
Zoom in