Skip to content

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

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 #605

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

git.yml

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