search

RSGInc / rFirm

firm synthesis
https://rsginc.github.io/rFirm
Other
1 stars 0 forks source link

auto build github pages docs after travis test success #2

Closed toliwaga closed 7 years ago

toliwaga commented 7 years ago

should autobuild docs

coveralls commented 7 years ago

Coverage Status

Coverage remained the same at 92.473% when pulling 1718395b8f110c7682170fd083e20b0556c0ec7b on setup into 5895c2aa33e286facea76a9ff58c223cfeb7e31a on master.