• Home
  • Features
  • Pricing
  • Docs
  • Announcements
  • Sign In

sisl / NeuralVerification.jl / 345
87%

Build:
DEFAULT BRANCH: master
Ran 28 Jul 2020 01:10PM UTC
Jobs 15
Files 60
Run time 59min
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

pending completion
345

push

travis-ci

web-flow
Merge pull request #132 from SebastianGuadalupe/master

Add Ai2 solver using boxes

1884 of 2146 relevant lines covered (87.79%)

314.64 hits per line

Jobs
ID Job ID Ran Files Coverage
1 345.1 28 Jul 2020 01:10PM UTC 0
87.33
Travis Job 345.1
2 345.2 28 Jul 2020 01:20PM UTC 0
87.33
Travis Job 345.2
3 345.3 28 Jul 2020 01:19PM UTC 0
87.33
Travis Job 345.3
4 345.4 28 Jul 2020 01:18PM UTC 0
86.84
Travis Job 345.4
5 345.5 28 Jul 2020 01:15PM UTC 0
87.33
Travis Job 345.5
6 345.6 28 Jul 2020 01:34PM UTC 0
87.33
Travis Job 345.6
7 345.7 28 Jul 2020 01:40PM UTC 0
87.33
Travis Job 345.7
8 345.8 28 Jul 2020 01:55PM UTC 0
86.84
Travis Job 345.8
9 345.9 28 Jul 2020 01:36PM UTC 0
87.33
Travis Job 345.9
10 345.10 28 Jul 2020 01:42PM UTC 0
87.33
Travis Job 345.10
11 345.11 28 Jul 2020 01:41PM UTC 0
87.33
Travis Job 345.11
12 345.12 28 Jul 2020 01:55PM UTC 0
86.84
Travis Job 345.12
14 345.14 28 Jul 2020 01:50PM UTC 0
87.33
Travis Job 345.14
17 345.17 28 Jul 2020 02:09PM UTC 0
87.33
Travis Job 345.17
20 345.20 28 Jul 2020 02:02PM UTC 0
87.33
Travis Job 345.20
Source Files on build 345
Detailed source file information is not available for this build.
  • Back to Repo
  • Travis Build #345
  • 86c5a17b on github
  • Prev Build on master (#340)
  • Next Build on master (#351)
STATUS · Troubleshooting · Open an Issue · Sales · Support · CAREERS · ENTERPRISE · START FREE · SCHEDULE DEMO
ANNOUNCEMENTS · TWITTER · TOS & SLA · Supported CI Services · What's a CI service? · Automated Testing

© 2026 Coveralls, Inc