Nikolaj Bjorner d2330055e7 disable travis ... Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>		2021-06-02 18:27:57 -07:00
..
ci
cmake
qprofdiff
suppressions
.travis.yml	disable travis	2021-06-02 18:27:57 -07:00