Skip to content
This repository has been archived by the owner on Mar 3, 2023. It is now read-only.

fix jenkins doc #3572

Merged
merged 3 commits into from
Jul 18, 2020
Merged

fix jenkins doc #3572

merged 3 commits into from
Jul 18, 2020

Conversation

huijunwu
Copy link
Member

@nicknezis nicknezis merged commit fd0ec5f into master Jul 18, 2020
@nicknezis nicknezis deleted the huijunwu/20200717fixdocci branch July 18, 2020 16:19
nicknezis pushed a commit that referenced this pull request Sep 14, 2020
* fix doc CI
* update py3
* update pip3

Co-authored-by: Huijun Wu <[email protected]>
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants