aya/.github
Alessandro Decina be035bf42c CI: add lint workflow
..
workflows CI: add lint workflow