CI: run agent lint on academic changes; expand default lint directories#333
Open
everforge wants to merge 1 commit intomsitarzewski:mainfrom
Open
CI: run agent lint on academic changes; expand default lint directories#333everforge wants to merge 1 commit intomsitarzewski:mainfrom
everforge wants to merge 1 commit intomsitarzewski:mainfrom
