34751521368
99%
master: 100%

Ran 13 Sep 2026 10:37AM UTC

Jobs 1

Files 1

Run time 1min

Badge

Committed 13 Sep 2026 10:18AM UTC coverage: 99.248%. Remained the same

Build Type

push

github

Committed by

Commit Message

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

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

Coverage Stats

124 of 130 branches covered (95.38%)

264 of 266 relevant lines covered (99.25%)

4.2 hits per line

ID	Job ID	Ran	Files	Coverage
1	34751521368.1	13 Sep 2026 10:37AM UTC	1	99.25	GitHub Action Run