6445515149
65%

Ran 08 Oct 2023 04:39AM UTC

Jobs 1

Files 471

Run time 39s

Badge

Embed ▾

Committed 08 Oct 2023 04:29AM UTC coverage: 65.098%. Remained the same

Build # 6445515149

Build Type

push

github

Committed by

web-flow

Commit Message

windows ci -- checking build and test-api on pull requests (#465)

* windows ci -- checking build and test-api on pull requests

* m4 cygwin

* untabify

* autoconf cygwin

* Update windows_ci.yml

fix typo

* Update windows_ci.yml

Run Details

79161 of 121602 relevant lines covered (65.1%)

1504867.25 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	6445515149.1	08 Oct 2023 04:38AM UTC	1615	65.71	GitHub Action Run

SRI-CSL / yices2 / 6445515149
65%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 6445515149

SRI-CSL / yices2 / 6445515149 65%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 6445515149

SRI-CSL / yices2 / 6445515149
65%

README BADGES
x