Closed AndreaGuarracino closed 3 years ago
A new test was also added in the GitHub action to catch the error.
A new test was also added in the GitHub action to catch the error.