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

Zilliqa / scilla / 2234
61%

Build:
DEFAULT BRANCH: master
Ran 01 May 2020 09:36AM UTC
Jobs 3
Files 40
Run time 18s
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
2234

push

travis-ci-com

web-flow
Decouple eval_runner from TypeChecker (#833)

Since the evaluator does not do typechecking before running Scilla code, eval_runner.ml should not depend on TypeChecker module.

2639 of 4952 relevant lines covered (53.29%)

40183.22 hits per line

Jobs
ID Job ID Ran Files Coverage
1 2234.1 (OCAML_VERSION=4.09.1) 01 May 2020 09:36AM UTC 0
55.59
Travis Job 2234.1
2 2234.2 (OCAML_VERSION=4.08.1) 01 May 2020 09:36AM UTC 0
55.59
Travis Job 2234.2
3 2234.3 (OCAML_VERSION=4.07.1) 01 May 2020 09:36AM UTC 0
55.59
Travis Job 2234.3
Source Files on build 2234
Detailed source file information is not available for this build.
  • Back to Repo
  • Build #2234
  • 8fead4c8 on github
  • Prev Build on master (#2232)
  • Next Build on master (#2239)
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