Skip to content
Check Changelog

odoc_index: Replace -P/-L with --root arguments #932

Sign in to view logs

odoc_index: Replace -P/-L with --root arguments

odoc_index: Replace -P/-L with --root arguments #932

Triggered via pull request November 21, 2024 10:37
@gpetiotgpetiot
synchronize #1247
gpetiot:improve-compile-index
Status Failure
Total duration 15s
Artifacts –

changelog.yml

on: pull_request
Check Changelog Action
4s
Check Changelog Action
Fit to window
Zoom out
Zoom in

Annotations

1 error
Check Changelog Action
Process completed with exit code 1.