Closed JonasBa closed 8 months ago
Somehow, we have a lint issue, but GitHub workflow doesn't give us a warning?
I'm going to check, it should be failing, but I also noticed some formatting changes were applied that shouldn't be
@anonrig let me fix the linter separately, I want to merge this so we fix the issue and unblock the user. I'll followup with the linter change
Fix #228 (tested by linking the built module to the reproducible code from issue).