jzmaddock da0dde24f3 Rework drone script with better names. ...

Also print math_info.

2021-02-03 12:56:24 +00:00

..

after-success.sh

drone

2020-12-29 17:59:23 +00:00

before-install.sh

drone

2020-12-29 17:59:23 +00:00

before-script.sh

drone

2020-12-29 17:59:23 +00:00

boost.sh

Rework drone script with better names.

2021-02-03 12:56:24 +00:00