panglesd / odoc

56%

master: 56%

LAST BUILD ON BRANCH fix-default-alias

branch: fix-default-alias

CHANGE BRANCH

x

Reset

Sync Branches

• fix-default-alias
• 1260_document_elements
• 2.3-5.1-compat
• 51fix
• add-doc-for-scoped-tags
• allow-more-hierarchies
• any-to-nonsrc
• asset-references
• asset-references-in-language
• better-toc-entry-monorepo
• block-ast-content
• changelog-check
• cheatsheet
• cheatsheet-2
• cherry-picked-refactor-typedtree-traverse
• ci-search-bar
• clean-driver-dir-name
• cmt-arg
• complete-sidebar
• count-occurrences-in-ref-driver
• dbuenzli
• disable-big-search-path-test
• document-json-output
• document-url-from-identifier
• driver-cli
• driver-output
• driver-redirections
• extract-code-blocks
• extract-code-blocks-2
• fix-1013
• fix-1106
• fix-1106-new
• fix-333
• fix-449
• fix-456
• fix-857
• fix-907
• fix-926
• fix-930
• fix-932
• fix-937
• fix-941
• fix-box-model
• fix-breadcrumbs
• fix-building-odoc-doc
• fix-compile-depends
• fix-compile-src-cli
• fix-deps-for-mlds
• fix-emoji
• fix-fmt
• fix-gaps
• fix-hidden-flag
• fix-needles
• fix-open-files-in-occurrence
• fix-parent-id
• fix-parser-constraint-on-dune
• fix-source-hierarchy
• fix-tyxml-constraint
• fix-url
• fix-wrong-id-doc-search
• fix_447
• frontmatter
• frontmatter-tags
• generate-assets
• generate-external-pages-in-driver
• global-config-file
• gpetiot-fix932
• header-in-json-output
• identifiers-labels-should-be-spanned
• include-libs-from-packages
• job_numbers
• json-sidebar-output
• landmarks
• less-agressive-timeout
• master
• md-page-support
• md-page-support-cleaned-history
• md-page-support-wip
• mdx-files
• media-in-odoc3
• medias-in-odoc
• medias-in-odoc-2
• merlin-snapshot
• named-pkg-root
• new-hierarchy-in-driver
• new-hierarchy-in-driver-clean
• new-occurrence
• new-tutorial
• new_driving_guide
• new_driving_guide_work
• o-c--curren-ces-t
• occurences-in-odoc
• occurrence-in-odoc-unsplit
• occurrences-in-index
• occurrences-in-odoc
• occurrences-last-PR
• occurrences-squashed
• occurrences-squashed-before-rebase
• occurrences-wip
• occurrences-without-constructors
• oci-bench
• oci-bench-landmarks
• odoc-features-in-odoc
• odoc3-asset-references
• odoc3-external-pages
• offsite-proto
• offsite-proto-2
• ol-to-ul
• order-children
• page-order-new-take
• page-order-new-take-save
• page-reference-do-not-use-dot
• parser-in-doc
• permanent-ident-env
• poly-variants-docs
• profiling-phases
• refactor-driver
• refactor-typedtree-traverse
• render-source-files
• resolving-references
• review-assets
• root-in-sidebar
• root-in-sidebar-really
• save-complete-sidebar
• save-occ-in-odoc-5-december
• save-occ-last-pr-dec-6
• save_new_driving_guide
• scoped-tags
• search-bar-rebase
• search-bar2
• search-bar2-old
• search-index-buid-system-friendly
• search-index-build-system-friendly-save
• search-index-build-system-friendly-save-2
• search-without-history
• semantic-anchors
• separate-generate-commands
• separate-intf-impl
• setup-ocaml-v3
• short-title-tags
• sidebar-proto
• sidebar-rebased
• squared-search-path
• style-external-links
• suppress_warnings
• tables
• toc-tree-2
• use-katex-bool
• v2.4
• v2.4-fix1013
• value-and-constructor-path
• voodoo-odoc-driver
• wip-src-prefix

Build # 454

Build Type

push

github

Committed by panglesd

Commit Message

Fix default alias

The default alias will build every target known to dune. Since the addition of
benchmarking, the rule running the reference driver does have a target, and was
runned at each invokation of `dune build` in the root of the project.

This makes the default rules of the root directory an alias for the default rule
of the `src` directory, avoiding running the reference driver too often (it also
removes some rules in test from the root default alias).

Signed-off-by: Paul-Elliot <peada@free.fr>

Run Details

7097 of 12597 relevant lines covered (56.34%)

818.16 hits per line