Closed maneandrea closed 3 months ago
Could you take advantage to fix the CI too, please?
I don't know if it is an update from gihub-actions or something misconfigured (before it was working well)
(one commit for fixes and another one for CI fixes)
Closes: #213