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
/
10550037419
66%
master: 65%
master: 65%
|
Ran
|
Jobs
1
|
Files
0
|
Run time
–
|
Badge
Embed ▾
README BADGES
|
web-flowJobs
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | 10550037419.1 | 0 |
66.65 |
GitHub Action Run |
Source Files on build 10550037419
Detailed source file information is not available for this build.