bernardladenthin / streambuffer
99%
master: 100%

LAST BUILD BRANCH: main
DEFAULT BRANCH: master
Repo Added
Files 1
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 main
branch: SELECT
CHANGE BRANCH
x

coverage: 99.248%. Remained the same
34751521368

push

github

web-flow 
Merge pull request #159 from bernardladenthin/claude/formal-verification

fix(ci): stage JPF annotation jars via dependency:copy-dependencies

124 of 130 branches covered (95.38%)

264 of 266 relevant lines covered (99.25%)

4.2 hits per line

Relevant lines Covered
266 RELEVANT LINES 264 COVERED LINES
4.2 HITS PER LINE
Source Files on master

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
34751521368 main Merge pull request #159 from bernardladenthin/claude/formal-verification fix(ci): stage JPF annotation jars via dependency:copy-dependencies push web-flow github
99.25
34750232290 main Merge pull request #158 from bernardladenthin/claude/formal-verification feat: formal verification suite (OpenJML ESC/RAC + JPF) in a separate CI pipeline push web-flow github
99.25
34726078644 claude/formal-verification Merge 702b945de into 3517a600d Pull #158 web-flow github
99.25
34223260796 dependabot/github_actions/advanced-security/maven-dependency-submission-action-6 Merge 18080d3b7 into 0442112b3 Pull #156 web-flow github
99.22
33962076725 claude/dep-bumps-2026-09 Merge 04fd29041 into 86a4ae04b Pull #155 web-flow github
99.22
33811313648 main Merge pull request #154 from bernardladenthin/claude/bytecode-version-gate ci: gate the packaged jar on the Java 8 class-file floor push web-flow github
99.22
33514414613 main Merge pull request #153 from bernardladenthin/claude/todo-cleanup docs: drop completed work from TODO.md push web-flow github
99.22
33513987129 claude/todo-cleanup Merge b3eb44688 into 25c2cb7f1 Pull #153 web-flow github
99.22
33479915386 main Merge pull request #152 from bernardladenthin/claude/release-asset-guards ci: smoke-test the packaged jar and fail the release on an unsigned asset push web-flow github
99.22
33005397033 main Merge pull request #149 from bernardladenthin/dependabot/maven/com.uber.nullaway-nullaway-0.14.0 chore(deps): bump com.uber.nullaway:nullaway from 0.13.8 to 0.14.0 push web-flow github
99.22
See All Builds (138)