MCLF / mclf / 1622

Builds Branch Commit Type Ran Committer Via Coverage
1622 improve_curves Curve may also be defined by bivariate polynomial push Stefan Wewers circle-ci pending completion   set done
1611 master Merge pull request #115 from MCLF/valuation_for_type_I_points push GitHub circle-ci pending completion   set done
1605 valuation_for_type_I_points valuations corresponding to points of type I push Stefan Wewers circle-ci pending completion   set done
1599 master Merge pull request #114 from MCLF/berkovich_trees push GitHub circle-ci pending completion   set done
1589 berkovich_trees improved version of `berkovic_trees` Pull #114 Stefan Wewers circle-ci pending completion   set done
1579 master Merge pull request #113 from saraedum/saraedum-patch-1 push GitHub circle-ci pending completion   set done
1570 rtd-no-mocks Merge branch 'saraedum-patch-1' into rtd-no-mocks Pull #107 Julian Rüth circle-ci pending completion   set done
1556 saraedum-patch-1 Drop support for 8.2 & 8.3 Pull #113 Julian Rüth circle-ci pending completion   set done
1461 rtd-no-mocks Fix conda path in CircleCI script Pull #107 Julian Rüth circle-ci pending completion   set done
1456 rtd-no-mocks 1.0 does not work at all anymore (Build Failed without further info) Pull #107 Julian Rüth circle-ci pending completion   set done
1449 rtd-no-mocks Trying my luck with other combinations of Python/RTD versions Pull #107 Julian Rüth circle-ci pending completion   set done
1440 rtd-no-mocks Fix segfault on rtd Pull #107 Julian Rüth circle-ci pending completion   set done
1435 rtd-no-mocks Port official RTD workflow for HTML documentation to CircleCI Pull #107 Julian Rüth circle-ci pending completion   set done
1426 rtd-no-mocks Temporary commit to debug what is going on… Pull #107 Julian Rüth circle-ci pending completion   set done
1420 rtd-no-mocks Speed up RTD build Pull #107 Julian Rüth circle-ci pending completion   set done