2295

Ran 29 Oct 2018 02:12PM UTC

Jobs 4

Files 0

Run time –

Badge

Build # 2295

Build Type

push

travis-ci

Committed by

Commit Message

Merge pull request #529 from pysmt/ci/python3.7

CI: Python 3.7 on Linux

Run Details

ID	Job ID	Ran
1	2295.1 (PYSMT_SOLVER="all" PYSMT_GMPY="TRUE")	29 Oct 2018 02:16PM UTC	Travis Job 2295.1
2	2295.2 (PYSMT_SOLVER="all" PYSMT_GMPY="FALSE")	29 Oct 2018 02:12PM UTC	Travis Job 2295.2
14	2295.14 (PYSMT_SOLVER="all" PYSMT_GMPY="TRUE")	29 Oct 2018 02:13PM UTC	Travis Job 2295.14
15	2295.15 (PYSMT_SOLVER="all" PYSMT_GMPY="FALSE")	29 Oct 2018 02:15PM UTC	Travis Job 2295.15

Detailed source file information is not available for this build.