1
97%
main: 97%

Ran 22 Aug 2024 01:29AM UTC

Files 278

Run time 5s

Badge

Embed ▾

Committed 22 Aug 2024 01:28AM UTC coverage: 84.211% (-0.5%) from 84.677%

Job # 2857.1

Build Type

push

github

Committed by

web-flow

Commit Message

rename `fold_left`/`fold_right` to `fold`/`rev_fold`, deprecate old APIs (#870)

* add fold, rev_fold to array and list, deprecated old APIs

* format code

* add test

---------

Co-authored-by: Hongbo Zhang <bob.hongbo.zhang@foxmail.com>
Co-authored-by: Hongbo Zhang <bobzhang1988@gmail.com>

Run Details

3824 of 4541 relevant lines covered (84.21%)

4324.68 hits per line

moonbitlang / core / 2857 / 1
97%
main: 97%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 2857.1

moonbitlang / core / 2857 / 1 97% main: 97%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 2857.1

moonbitlang / core / 2857 / 1
97%
main: 97%

README BADGES
x