2467

Ran 07 Mar 2019 02:55PM UTC

Jobs 4

Files 0

Run time –

Badge

Build # 2467

Build Type

push

travis-ci

Committed by

Commit Message

Merge pull request #562 from cdonovick/import-fix

Fix import warning in python 3.7

Run Details

ID	Job ID	Ran
1	2467.1 (PYSMT_SOLVER="all" PYSMT_GMPY="TRUE")	07 Mar 2019 02:58PM UTC	Travis Job 2467.1
2	2467.2 (PYSMT_SOLVER="all" PYSMT_GMPY="FALSE")	07 Mar 2019 02:55PM UTC	Travis Job 2467.2
14	2467.14 (PYSMT_SOLVER="all" PYSMT_GMPY="TRUE")	07 Mar 2019 03:25PM UTC	Travis Job 2467.14
15	2467.15 (PYSMT_SOLVER="all" PYSMT_GMPY="FALSE")	07 Mar 2019 03:41PM UTC	Travis Job 2467.15

Detailed source file information is not available for this build.