Skip to content

Merge pull request #5226 from unisonweb/cp/faster-dep-collection #1242

Merge pull request #5226 from unisonweb/cp/faster-dep-collection

Merge pull request #5226 from unisonweb/cp/faster-dep-collection #1242

Triggered via push July 15, 2024 20:27
Status Success
Total duration 6m 28s
Artifacts

haddocks.yaml

on: push
Fit to window
Zoom out
Zoom in