110
83%

Ran 06 Nov 2023 12:40PM UTC

Jobs 1

Files 44

Run time 4s

Badge

Embed ▾

Committed 06 Nov 2023 12:34PM UTC coverage: 76.504% (+0.4%) from 76.144%

Build # 110

Build Type

push

github

Committed by

web-flow

Commit Message

Add lint about constructor names that hide default constructor names (fix #26) (#32)

* Add lint about shadowing default constructor names (fix #26)

Signed-off-by: Nikita Nemakin <nemakin.nikita@yandex.ru>

* Rewrite lint to typed version, add message about which constructors are bad

Signed-off-by: Nikita Nemakin <nemakin.nikita@yandex.ru>

* Update src/typed/AmbiguousConstructors.ml

* Update src/typed/AmbiguousConstructors.ml

* Update src/untyped/dune

Signed-off-by: Nikita Nemakin <nemakin.nikita@yandex.ru>

---------

Signed-off-by: Nikita Nemakin <nemakin.nikita@yandex.ru>
Co-authored-by: Dmitrii Kosarev <Kakadu@pm.me>

Coverage Stats

27 of 28 new or added lines in 1 file covered. (96.43%)

1208 of 1579 relevant lines covered (76.5%)

257.29 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	110.1	06 Nov 2023 12:40PM UTC	0	76.5	GitHub Action Run

Source Files on build 110

Detailed source file information is not available for this build.

Kakadu / zanuda / 110
83%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 110

Kakadu / zanuda / 110 83%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 110

Kakadu / zanuda / 110
83%

README BADGES
x