2144

Ran 14 Jul 2018 12:02PM UTC

Jobs 4

Files 0

Run time –

Badge

Build # 2144

Build Type

push

travis-ci

Committed by

Commit Message

CI: Upgrade pypy2.7 to pypy3.5 (#510)

* CI: Upgrade pypy2.7 to pypy3.5
* Added automated check for the running python version

Run Details

ID	Job ID	Ran
1	2144.1 (PYSMT_SOLVER="all" PYSMT_GMPY="TRUE")	14 Jul 2018 12:02PM UTC	Travis Job 2144.1
2	2144.2 (PYSMT_SOLVER="all" PYSMT_GMPY="FALSE")	14 Jul 2018 12:02PM UTC	Travis Job 2144.2
14	2144.14 (PYSMT_SOLVER="all" PYSMT_GMPY="TRUE")	14 Jul 2018 12:12PM UTC	Travis Job 2144.14
15	2144.15 (PYSMT_SOLVER="all" PYSMT_GMPY="FALSE")	14 Jul 2018 12:13PM UTC	Travis Job 2144.15

Detailed source file information is not available for this build.