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

MCLF / mclf
80%
master: 78%

Build:
Build:
LAST BUILD BRANCH: improve_reduction_tree
DEFAULT BRANCH: master
Repo Added 20 May 2018 02:19PM UTC
Files 38
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

LAST BUILD ON BRANCH develop
branch: develop
CHANGE BRANCH
x
Reset
  • develop
  • bugfixes_in_berkovich_line
  • experimental
  • fix_field_of_constants_degree
  • fix_morphisms_curves
  • fix_notimplemented_message
  • fix_rational_function_field
  • fix_slope_factors
  • fix_type_V_points
  • improve_curves
  • improve_piecewise_affine_functions
  • improve_reduction_tree
  • master
  • picard_curves
  • points_outside_unit_disk
  • try_install
  • valuation_for_type_I_points

pending completion
934

Pull #36

circle-ci

GitHub
Merge pull request #76 from MCLF/try_install
Pull Request #36: WIP: Display develop status

739 of 1009 branches covered (73.24%)

Branch coverage included in aggregate %.

573 of 573 new or added lines in 9 files covered. (100.0%)

2948 of 3618 relevant lines covered (81.48%)

0.81 hits per line

Relevant lines Covered
Build:
Build:
3618 RELEVANT LINES 2948 COVERED LINES
0.81 HITS PER LINE
Source Files on develop
Detailed source file information is not available for this build.

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
934 develop Merge pull request #76 from MCLF/try_install Pull #36 04 Aug 2018 10:10PM UTC GitHub circle-ci pending completion  
921 develop Merge pull request #75 from MCLF/fix_field_of_constants_degree Pull #36 04 Aug 2018 09:47PM UTC GitHub circle-ci pending completion  
912 develop Merge pull request #74 from MCLF/fix_issue_70 Pull #36 04 Aug 2018 08:46PM UTC GitHub circle-ci pending completion  
898 develop Merge pull request #69 from MCLF/fix_notimplemented_message Pull #36 01 Aug 2018 02:45PM UTC GitHub circle-ci pending completion  
887 develop Merge pull request #68 from MCLF/picard_curves Pull #36 01 Aug 2018 02:18PM UTC GitHub circle-ci pending completion  
854 develop Merge pull request #65 from swewers/improve_curves Pull #36 29 Jul 2018 08:39PM UTC GitHub circle-ci pending completion  
839 develop Merge pull request #64 from swewers/oberwolfach Pull #36 28 Jul 2018 07:52PM UTC GitHub circle-ci pending completion  
824 develop Merge pull request #60 from swewers/simplify_valuations Pull #36 26 Jul 2018 01:36PM UTC GitHub circle-ci pending completion  
732 develop Merge pull request #58 from swewers/doctest_for_issue_40 Pull #36 04 Jun 2018 12:31AM UTC GitHub circle-ci pending completion  
688 develop complete this merge (and hope for the best) Pull #36 01 Jun 2018 11:10PM UTC Stefan Wewers circle-ci pending completion  
See All Builds (197)
  • Repo on GitHub
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