Nikolaj Bjorner
|
6f08c0788f
|
put back delete step in nightly
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2019-06-29 21:00:41 +03:00 |
|
Nikolaj Bjorner
|
6e994f9279
|
temporarily disable delete
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2019-06-29 20:09:33 +03:00 |
|
Nikolaj Bjorner
|
8a129a3e6f
|
try replace for nightly to address #2362
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2019-06-28 21:23:52 -07:00 |
|
Nikolaj Bjorner
|
165c0ef3e1
|
disable windows validation for now
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2019-06-07 17:42:47 -07:00 |
|
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 |
|