Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Embed external Python libraries #16

Merged
merged 6 commits into from
Jun 28, 2021
Merged

Embed external Python libraries #16

merged 6 commits into from
Jun 28, 2021

Conversation

Guts
Copy link
Collaborator

@Guts Guts commented Jun 28, 2021

No description provided.

@Guts Guts marked this pull request as draft June 28, 2021 14:47
@github-actions github-actions bot added the documentation Improvements or additions to documentation label Jun 28, 2021
@github-actions github-actions bot added the ci-cd label Jun 28, 2021
@Guts Guts added the dependencies Pull requests that update a dependency file label Jun 28, 2021
@github-actions github-actions bot removed the dependencies Pull requests that update a dependency file label Jun 28, 2021
@Guts Guts marked this pull request as ready for review June 28, 2021 16:19
@Guts Guts merged commit 7d05103 into master Jun 28, 2021
@Guts Guts deleted the dependencies/embed branch June 28, 2021 16:34
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
ci-cd documentation Improvements or additions to documentation
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@Guts