John Firebaugh 840a5cf120 [build] Record binary size via GitHub check

2018-07-03 14:03:32 -07:00

..

after_script.sh

…

after_success.sh

…

coveralls.sh

[build] Switch from Travis CI to CircleCI

2017-06-22 13:33:16 -07:00

metrics.sh

[build] Record binary size via GitHub check

2018-07-03 14:03:32 -07:00