FYI,
In my account there's a version with additional attributes which I retrieved from the DTD.
In a nutshell, they were obtained from '#IMPLIED' and '#REQUIRED' attributes from the DTD.
Just look at the bottom of the file:
https://github.com/frgomes/scalatags/blob/master/shared/main/scala/scalatags/generic/Attrs.scalaAs I said before: this approach is probably wrong and incomplete. I will spend some more effort (as time permits) trying to obtain a proper list of attributes, using a proper parser, instead of a hammered shell script.
I guess that it would be possible to retrieve groups of attributes where eventually an attribute could belong to several groups. What I mean to say is that it would be possible to provide strict semantics conformant to HTML4.01 and/or other schemas. But I know that such sort of consistency is outside of the plans of Scalatags. Just to let you know and share ideas.
Regarding CI and this sort of stuff:
I just merge locally on my machine and run "sbt test" before pushing onto git.
Ci is beautiful for showing off test coverage ;-) ... not something I'm deeply concerned.
Cheers