Skip to content

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

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

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

Triggered via push July 26, 2024 19:51
Status Success
Total duration 5m 18s
Artifacts

haddocks.yaml

on: push
Fit to window
Zoom out
Zoom in