CMU-313 / nodebb-spring-26-force-push-masters / 23276342193
79%

DEFAULT BRANCH: main
Ran
Jobs 1
Files 399
Run time 1min
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
coverage: 78.939% (+0.02%) from 78.922%
23276342193

push

github

web-flow 
Merge pull request #48 from CMU-313/tool/jalangi

Integrate Jalangi2 into CI (Project 3B)

11772 of 16755 branches covered (70.26%)

Branch coverage included in aggregate %.

25555 of 30531 relevant lines covered (83.7%)

1495.59 hits per line

Jobs
ID Job ID Ran Files Coverage
1 23276342193.1 399
78.94
 GitHub Action Run
Source Files on build 23276342193