Closed relu91 closed 3 years ago
After #6 I noticed that the CI was not triggered. This minor change should fix it.
Ok just verified that the change works. I'd merge as it is and fix the formatting errors.
After #6 I noticed that the CI was not triggered. This minor change should fix it.