Closed moratodpg closed 9 months ago
Also added the lint check 😄
Thanks for the remarks! I have now addressed all of them. Are we good to go for the merge? :) It seems the checks triggered by actions have failed xD
I think this PR should be reopen to address remaining remarks.