Coverage calculation for this build was skipped
because it contains the same data as another build.
See this build for the coverage details.
If you feel that something is wrong here, please contact support.
If you feel that something is wrong here, please contact support.
SRI-CSL
/
yices2
/
15082762933
65%
master: 65%
master: 65%
|
Ran
|
Jobs
1
|
Files
0
|
Run time
–
|
Badge
Embed ▾
README BADGES
|
web-flowJobs
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | 15082762933.1 | 486 |
65.38 |
GitHub Action Run |
Source Files on build 15082762933
Detailed source file information is not available for this build.