Delete src directory to see if github build is OK.