Hello, sorry for responding late. Yes publishing Github repo is allowed (and encouraged). Build files are not necessary to include, but it'd be cooler if they were included nevertheless. However, if you have a problem (or can not) publish your files, just including .c/.h files would be sufficient.