Skip to content
This repository was archived by the owner on Oct 22, 2024. It is now read-only.

Clean-Up #48

Closed
wants to merge 3 commits into from
Closed

Clean-Up #48

wants to merge 3 commits into from

Conversation

leits
Copy link
Contributor

@leits leits commented Aug 13, 2021

Did a little cleaning:

  • Deleted unused imports
  • Run black -l 100 (as in Makefile)

@abdelhai abdelhai added the enhancement New feature or request label Aug 14, 2021
@abdelhai
Copy link
Contributor

@leits I'm not sure why the CI is failing. I need to ask my colleagues next week. But thanks for the PR, this should have been caught/fixed by our CI but it seems to be misconfigured.

@abdelhai
Copy link
Contributor

hi @leits i'm a bit late to this, thanks for the pr. i'm closing it now since a newer pr (#69) solves these issues as well. sorry for not processing this earlier!

@abdelhai abdelhai closed this May 16, 2022
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
enhancement New feature or request
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants