Skip to content

Merge pull request #5269 from unisonweb/cp/restrict-annotation-change… #1268

Merge pull request #5269 from unisonweb/cp/restrict-annotation-change…

Merge pull request #5269 from unisonweb/cp/restrict-annotation-change… #1268

Triggered via push August 9, 2024 18:57
Status Success
Total duration 35m 14s
Artifacts

haddocks.yaml

on: push
Fit to window
Zoom out
Zoom in