Closed OskarStark closed 6 years ago
Lint errors were found. A patch is also available.
Please see the report: https://flintci.io/repositories/3946/analyses/8073
This comment was posted by FlintCI. It can be disabled in the repository settings.
Lint errors were found. A patch is also available.
Please see the report: https://flintci.io/repositories/3946/analyses/8073
This comment was posted by FlintCI. It can be disabled in the repository settings.