Skip to content
coverage

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

Sign in to view logs

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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (ubuntu-latest, ., 4.13.x)
6h 0m 13s
6h 0m 13s