ci: add lint.yml to ci (#13)
Signed-off-by: André Augusto <andre.augusto@tecnico.ulisboa.pt>
A
André Augusto committed
605b8bcf3f7d0ee858800bce57a24fb72e2d515d
Parent: a5b1eee
Committed by GitHub <noreply@github.com>
on 6/17/2025, 12:41:49 PM