Skip to content

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

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

Triggered via pull request August 30, 2024 12:55
@zazeddzazedd
synchronize #2326
zazedd:main
Status Success
Total duration 23s
Artifacts

changelog-check.yml

on: pull_request
Fit to window
Zoom out
Zoom in