aboutsummaryrefslogtreecommitdiffhomepage
path: root/dev/ci/ci-bignums.sh
Commit message (Expand)AuthorAge
* Fix CI with parallel make (messed up dependencies)Gravatar Gaëtan Gilbert2017-12-21
* Fix ci-bignums.sh "missing ]" error.Gravatar Gaëtan Gilbert2017-11-09
* [travis] extra test ci-bignums (+factorize other scripts)Gravatar Pierre Letouzey2017-06-13