lindy-labs / erc4626-utils
100%
main: 100%

LAST BUILD BRANCH: yield-dca-impl
DEFAULT BRANCH: main
Repo Added
Token BlT4oY3sqOcz09266qJySpf9gXgYY7owq regen
Build 133 Last
Files 8
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 YieldStreams-formal-verification
branch: YieldStreams-formal-verification
CHANGE BRANCH
x
Sync Branches

coverage: 100.0%. Remained the same
9355045580

Pull #30

github

web-flow 
Merge c93514206 into 6da22a375
Pull Request #30: Yield streams formal verification

221 of 221 relevant lines covered (100.0%)

1720.37 hits per line

Relevant lines Covered
221 RELEVANT LINES 221 COVERED LINES
1720.37 HITS PER LINE
Source Files on YieldStreams-formal-verification

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
9355045580 YieldStreams-formal-verification Merge c93514206 into 6da22a375 Pull #30 web-flow github
100.0
9316642194 YieldStreams-formal-verification Merge 431877011 into 6da22a375 Pull #30 web-flow github
100.0
9270534197 YieldStreams-formal-verification Merge d8e4bb4e4 into 6da22a375 Pull #30 web-flow github
100.0
See All Builds (133)

Badge your Repo: erc4626-utils

We detected this repo isn’t badged! Grab the embed code to the right, add it to your repo to show off your code coverage, and when the badge is live hit the refresh button to remove this message.
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

Refresh