Skip to content

Fix root path issue with Irmin-git, and remove allow_duplicate for root spec key #609

Fix root path issue with Irmin-git, and remove allow_duplicate for root spec key

Fix root path issue with Irmin-git, and remove allow_duplicate for root spec key #609

Triggered via pull request September 9, 2024 13:21
@art-wart-w
synchronize #2326
zazedd:main
Status Success
Total duration 16s
Artifacts

git.yml

on: pull_request
block-fixup
6s
block-fixup
Fit to window
Zoom out
Zoom in