form-dev / form
53%
master: 53%

LAST BUILD BRANCH: pr/ci/flint-3.4.0
DEFAULT BRANCH: master
Repo Added
Files 65
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst

LAST BUILD ON BRANCH pr/ci/flint-3.4.0
branch: SELECT
CHANGE BRANCH
x

coverage: 53.349% (+0.009%) from 53.34%
20874161201

Pull #765

github

web-flow 
Merge c5e6a8c09 into 73a6a1426
Pull Request #765: Upgrade FLINT from 3.3.1 to 3.4.0 in CI

44168 of 82790 relevant lines covered (53.35%)

5369575.98 hits per line

Relevant lines Covered
82790 RELEVANT LINES 44168 COVERED LINES
5369575.98 HITS PER LINE
Source Files on master

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
20874161201 pr/ci/flint-3.4.0 Merge c5e6a8c09 into 73a6a1426 Pull #765 web-flow github
53.35
20873895063 pr/refactor/remove-pre-c89-legacy-code Merge 2c3df78de into 73a6a1426 Pull #764 web-flow github
53.35
20856366479 grcc-fixes Merge f48061b56 into 73a6a1426 Pull #761 web-flow github
53.34
20847387510 grcc-fixes Merge d6554805f into 73a6a1426 Pull #761 web-flow github
53.34
20843642568 pr/allow-dollar-moduleoption-anywhere Merge a7990f70c into 73a6a1426 Pull #762 web-flow github
53.35
20824293537 grcc-fixes Merge a02d30544 into 73a6a1426 Pull #761 web-flow github
53.34
20821187224 grcc-fixes Merge 78ad49369 into 73a6a1426 Pull #761 web-flow github
53.35
20819567745 flint-sparse Merge f3f1e23a7 into 73a6a1426 Pull #729 web-flow github
53.37
20772488642 pr/test/diagram-comparison Merge f8e9ca041 into 73a6a1426 Pull #745 web-flow github
57.73
20742579090 pr/test/diagram-comparison Merge c4f3928ed into 73a6a1426 Pull #745 web-flow github
57.69
See All Builds (247)