MCLF / mclf / 897328fe-74bc-4ba7-9547-e06417b21845

Builds Branch Commit Type Ran Committer Via Coverage
897328fe-74bc-4ba7-9547-e06417b21845 improve_reduction_tree some trivial improvements - typo in documentations fixed - broken long lines - unused variable push swewers circleci
77.58
ad8b6eea-683c-4acb-919d-c4b61bce04c8 improve_reduction_tree Merge branch 'improve_reduction_tree' of https://github.com/MCLF/mclf into improve_reduction_tree Pull #140 swewers circleci
77.58
acbe8b64-8b88-4b20-a946-eacde4820af3 improve_reduction_tree some trivial improvements - typo in documentations fixed - broken long lines - use of f-strings - unused variable Pull #140 swewers circleci
77.58
5a3370d2-610a-41e8-9000-9d17206c1618 master Merge pull request #138 from fchapoton/full_pep8_cleanup full-scale pep8 cleanup push web-flow circleci
77.68
73d9d893-3043-4014-9308-f89aaf19650b full_pep8_cleanup fix mistake Pull #138 fchapoton circleci
77.68
d23167bb-040f-4526-9e48-d9a9600e4e4f master Merge pull request #137 from fchapoton/code_cosmetics a bunch of code cosmetic changes (pep8 code convention) push web-flow circleci
77.59
451c4d60-2b3b-4848-9c29-8b280c2c7aa4 code_cosmetics a bunch of code cosmetic changes (pep8 code convention) Pull #137 fchapoton circleci
77.59
e43b82bf-ede8-41cb-bd3e-3cf34c8ed457 master Merge pull request #136 from fchapoton/fix_typos_and_rst fix typos and rst push web-flow circleci
77.58
56b41692-967c-4c28-9c0e-fc2177c36d99 fix_typos_and_rst fix typos and rst Pull #136 fchapoton circleci
77.58
4a706d67-7313-4525-bf5d-7d51b1001b3c master Merge pull request #135 from MCLF/fix_rational_function_field Preliminary fix of issue #134 push web-flow circleci
77.58
b7f68cf3-a12c-4595-b4eb-1393fc1127bc fix_rational_function_field Preliminary fix of issue #134 The two line where `RationalFunctionField` appear are commented out. This is a temporary fix of the issue. Pull #135 swewers circleci
77.58
1d45307a-d195-47bc-a6e0-45b2c86f4378 master Remove SSH_AUTH_SOCK hack push saraedum circleci
77.59
7927530f-44d9-4ab6-aabb-1af9893d4af9 master Ignore gitconfig push saraedum circleci
77.59
598669d8-7f05-448f-bea9-54a5afbbb945 master Fix key naming push saraedum circleci
77.59
4b6b26ac-9042-4dd1-b2aa-57977651f122 master Revert "Use builtin CircleCI keys" This reverts commit 80628f722. push saraedum circleci
77.59