Skip to content

Conversation

@AntSimi
Copy link
Owner

@AntSimi AntSimi commented Jun 23, 2021

No description provided.

@AntSimi AntSimi requested a review from ludwigVonKoopa June 23, 2021 21:11
@ludwigVonKoopa
Copy link
Collaborator

github says merging is blocked because read the docs is ins progress, but in read the doc the compilation is finished.. ?

@AntSimi AntSimi merged commit 8e26230 into master Jun 28, 2021
@AntSimi AntSimi deleted the binder_env branch June 28, 2021 19:49
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants