TritonVM / triton-vm / 13519165834
98%

DEFAULT BRANCH: master
Ran
Jobs 1
Files 54
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: 98.355% (+0.007%) from 98.348%
13519165834

push

github

jan-ferdinand 
refactor: Generalize default profile name

The directive to change the working directory and run `cargo criterion`
only makes sense in a select few scenarios. Generating the performance
profile is more general than that.

changelog: ignore

2 of 3 new or added lines in 1 file covered. (66.67%)

24760 of 25174 relevant lines covered (98.36%)

6112710.56 hits per line

New Missed Lines in Diff

Lines Coverage ∆ File
1
97.81
 -0.02% triton-vm/src/profiler.rs
Jobs
ID Job ID Ran Files Coverage
1 13519165834.1 54
98.36
 GitHub Action Run
Source Files on build 13519165834