Skip to content

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

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

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

git.yml

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