8 commits

Author	SHA1	Message	Date
Nikolaj Bjorner	da6e3efa97	try with \ instead of / ... Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>	2019-06-07 17:28:27 -07:00
Nikolaj Bjorner	9d783628db	add regression tests to nightly ... Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>	2019-06-07 16:55:02 -07:00
Nikolaj Bjorner	6bbe924063	try with create action to change commit id ... Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>	2019-06-07 16:48:59 -07:00
Nikolaj Bjorner	9f02acffbb	use tmp ... Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>	2019-06-07 14:51:33 -07:00
Nikolaj Bjorner	bd0ecdd6de	omit target path ... Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>	2019-06-07 14:48:44 -07:00
Nikolaj Bjorner	af8f0a7312	try consolidation ... Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>	2019-06-07 13:50:06 -07:00
Nikolaj Bjorner	9b4f327e29	set upload mode to replace ... Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>	2019-06-06 20:03:20 -07:00
Nikolaj Bjorner	e0a1db869f	consolidate nightly ... Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>	2019-06-06 18:50:37 -07:00