Code

fix: make test suite run doctests#31

Code

Merged

oscarbenjamin merged 3 commits intoflintlib:masterflintlib/python-flint:masterfrom oscarbenjamin:pr_doctestoscarbenjamin/python-flint:pr_doctestCopy head branch name to clipboardDec 13, 2022

+55-11

Commits

Commits on Dec 12, 2022

• fix: make test suite run doctests

  oscarbenjamin

  committed
  6a65cfa

  Copy full SHA for 6a65cfa

• test: fix doctests after Arb printing changes

  oscarbenjamin

  committed
  cc35a53

  Copy full SHA for cc35a53

Commits on Dec 13, 2022

• test: add doctests in separate CI job

  oscarbenjamin

  committed
  e67a8e0

  Copy full SHA for e67a8e0