Closed fingolfin closed 11 months ago
OK, maybe it is as easy as this... we'll see (the failing doctests are visible in the CI logs, but do not actually cause a failures... but they do with PR #137)
OK, maybe it is as easy as this... we'll see (the failing doctests are visible in the CI logs, but do not actually cause a failures... but they do with PR #137)