263
7%

Ran 08 Aug 2024 01:32PM UTC

Jobs 1

Files 541

Run time 1min

Badge

Embed ▾

Committed 08 Aug 2024 09:18AM UTC coverage: 6.91% (-0.002%) from 6.912%

Build # 263

Build Type

push

github

Committed by

web-flow

Commit Message

Use [Config.Toggle] for toolchains (#10810)

This changes the variable that enables toolchains from
DUNE_CONFIG__TOOLCHAINS_ENABLED=[true|false] to
DUNE_CONFIG__TOOLCHAINS=[enabled|disabled], following the established
convention for such variables in dune, and for compatibility with
upcoming support for compile-time configuration.

Signed-off-by: Stephen Sherratt <stephen@sherra.tt>

Run Details

0 of 5 new or added lines in 1 file covered. (0.0%)

2911 of 42125 relevant lines covered (6.91%)

27041.08 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	263.1	08 Aug 2024 01:32PM UTC	0	6.91	GitHub Action Run

Source Files on build 263

Detailed source file information is not available for this build.

Leonidas-from-XIV / dune / 263
7%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 263

Leonidas-from-XIV / dune / 263 7%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 263

Leonidas-from-XIV / dune / 263
7%

README BADGES
x