Skip to content
This repository has been archived by the owner on Aug 18, 2021. It is now read-only.

run doctests in CI #31

Merged
merged 1 commit into from Dec 11, 2020
Merged

run doctests in CI #31

merged 1 commit into from Dec 11, 2020

Conversation

ranocha
Copy link
Member

@ranocha ranocha commented Dec 11, 2020

No description provided.

@ranocha ranocha requested a review from sloede December 11, 2020 07:27
@sloede sloede merged commit e06eb09 into master Dec 11, 2020
@sloede sloede deleted the hr/doctests branch December 11, 2020 11:01
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants