Closed igamigo closed 4 days ago
Github Actions is having some issues
As a consequence of this, I merged #375 because I saw the green checkmark but it turns out the CI had not run. This PR fixes a lint problem.
Github Actions is having some issues
As a consequence of this, I merged #375 because I saw the green checkmark but it turns out the CI had not run. This PR fixes a lint problem.