Nikolaj Bjorner
|
96417d4d47
|
Update nightly.yaml
disable signing options
|
2024-08-29 10:43:31 -07:00 |
|
Nikolaj Bjorner
|
59853d070b
|
Update nightly.yaml
create build artifacts
|
2024-08-29 10:41:03 -07:00 |
|
Nikolaj Bjorner
|
c79477a939
|
update nightly
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2024-08-28 17:41:49 -07:00 |
|
Nikolaj Bjorner
|
f6dbaee6ce
|
adding to nightly
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2024-08-27 17:17:53 -07:00 |
|
Nikolaj Bjorner
|
c137ef7fba
|
disable publish and signing
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2024-06-20 11:10:55 -07:00 |
|
Nikolaj Bjorner
|
abea0b724c
|
disable publish and signing
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2024-06-20 09:43:26 -07:00 |
|
Nikolaj Bjorner
|
b5c3a6a2e0
|
skip signing
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2024-06-19 18:28:07 -07:00 |
|
Nikolaj Bjorner
|
4ca59c51cb
|
update to macOS-latest
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2024-06-19 17:25:56 -07:00 |
|
Nikolaj Bjorner
|
2654d80aaf
|
revert nightly to 2_28 manylinux
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2024-06-19 16:19:48 -07:00 |
|
Nikolaj Bjorner
|
c0b4d02ae2
|
update containers for Python, first steps to address #7232
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2024-06-17 08:06:21 -07:00 |
|
Christoph M. Wintersteiger
|
80642e5a7c
|
Add check for libatomic requirement to Python build system (#7184)
* Add check for libatomic requirement to Python build system
* More thorough check
* Fix typos
|
2024-03-23 11:38:14 -07:00 |
|
Nikolaj Bjorner
|
648e05754c
|
#7178 copy build tool chains used for manylinux arm64 into ubuntu builds
alternatively, just remove ubuntuArm64 and use the many-linux builds for Arm64?
|
2024-03-21 09:40:50 -07:00 |
|
Nikolaj Bjorner
|
27a9b8bd03
|
fix project minor version
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2024-03-20 21:32:18 -07:00 |
|
Nikolaj Bjorner
|
a4ecaf1ff5
|
increment version number
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2024-03-07 11:22:08 -08:00 |
|
Nikolaj Bjorner
|
3049f578a8
|
add download of Arm64 to python packaging
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2024-03-07 10:25:16 -08:00 |
|
Steven Moy
|
7b7084d373
|
Add LinuxBuildsArm64 to python wheels in release (#7155)
|
2024-03-07 09:11:47 -08:00 |
|
Steven Moy
|
e873664fe8
|
Downgrade arm cross compile toolchain to glibc 2.34 (#7153)
|
2024-03-06 20:14:06 -08:00 |
|
Nikolaj Bjorner
|
364da19122
|
remove test
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2024-03-06 13:54:28 -08:00 |
|
Steven Moy
|
aad8cbdd9d
|
Add LinuxBuildsArm64 ci azure-pipelines for testing (#7152)
|
2024-03-06 13:21:17 -08:00 |
|
Steven Moy
|
017367d7af
|
Handle cross compile within manylinux (#7150)
|
2024-03-06 08:27:04 -08:00 |
|
Nikolaj Bjorner
|
cfa6bd4534
|
update python build dependencies
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2024-03-05 12:28:30 -08:00 |
|
Nikolaj Bjorner
|
10687082f1
|
Revert "For many linux build, use aarch64 instead of arm64 (#7147)" (#7148)
This reverts commit 7694bca5f4.
|
2024-03-05 12:25:31 -08:00 |
|
Steven Moy
|
7694bca5f4
|
For many linux build, use aarch64 instead of arm64 (#7147)
|
2024-03-05 11:27:43 -08:00 |
|
Steven Moy
|
4050a43f2f
|
Add arm64 for linux python wheels to nightly (#7145)
|
2024-03-04 17:28:50 -08:00 |
|
John Fleisher
|
2880ea3971
|
convert formatting tabs to spaces (#7140)
* Update nightly.yaml for Azure Pipelines
match nightly builds to release builds
* Fix nightly.yaml
* fix indent
* fix indent
* convert tabs to spaces for proper formatting in yaml
|
2024-02-26 09:06:28 -08:00 |
|
Nikolaj Bjorner
|
c67200ef72
|
update versions
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2024-02-26 08:28:18 -08:00 |
|
Nikolaj Bjorner
|
fa2c0e0278
|
enable release publish
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2024-02-24 14:35:07 -08:00 |
|
John Fleisher
|
85425a6e08
|
Update nightly.yaml for Azure Pipelines (#7139)
* Update nightly.yaml for Azure Pipelines
match nightly builds to release builds
* Fix nightly.yaml
* fix indent
* fix indent
* Update nightly.yaml
* Update nightly.yaml
* Update nightly.yaml for Azure Pipelines
* Update nightly.yaml for Azure Pipelines
---------
Co-authored-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2024-02-24 02:13:35 -08:00 |
|
Nikolaj Bjorner
|
785f71b1a6
|
prepare for 12.6
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2024-02-21 19:35:24 -08:00 |
|
Nikolaj Bjorner
|
937d4aa8f4
|
move files from lib and java directory to bin
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2024-02-06 12:40:30 -08:00 |
|
Nikolaj Bjorner
|
f4474a3edb
|
typo
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2024-02-04 20:30:56 -08:00 |
|
Nikolaj Bjorner
|
446a9dec08
|
distinguish vs-arch from arch identifier
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2024-02-04 19:26:50 -08:00 |
|
Nikolaj Bjorner
|
548b9d091f
|
move libz3.so from lib to bin, remove lib from distribution
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2024-02-04 18:23:46 -08:00 |
|
Nikolaj Bjorner
|
a2fa4ff1bc
|
update assembly names
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2024-02-03 16:52:20 -08:00 |
|
Nikolaj Bjorner
|
c9267055c2
|
update assembly names
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2024-02-03 16:14:03 -08:00 |
|
Nikolaj Bjorner
|
b9bec1861a
|
copy over dotnet files
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2024-02-03 16:08:31 -08:00 |
|
Nikolaj Bjorner
|
24ffef8ac5
|
fix typo
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2024-02-03 12:26:27 -08:00 |
|
Nikolaj Bjorner
|
e295ac93af
|
update build-win-signed-cmake
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2024-02-03 11:46:11 -08:00 |
|
Nikolaj Bjorner
|
e398f84e85
|
update build-win-signed-cmake
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2024-02-03 11:35:13 -08:00 |
|
Nikolaj Bjorner
|
bd082ab653
|
update mk-win-dist-cmake
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2024-02-02 16:33:27 -08:00 |
|
Nikolaj Bjorner
|
14fb235dd8
|
update mk-win-dist-cmake
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2024-02-02 16:16:19 -08:00 |
|
Nikolaj Bjorner
|
736d6348e6
|
move windows builds to use mk_win_dist_cmake in nightly
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2024-02-02 13:05:01 -08:00 |
|
Nikolaj Bjorner
|
cfc8774dac
|
move windows builds to use mk_win_dist_cmake in nightly
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2024-02-02 13:04:09 -08:00 |
|
Nikolaj Bjorner
|
05d625bf0b
|
fixing paths and re-add arm64
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2024-02-02 11:07:17 -08:00 |
|
Nikolaj Bjorner
|
485a018c59
|
add back legacy build-win-signed
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2024-02-02 09:57:47 -08:00 |
|
Nikolaj Bjorner
|
9db834c223
|
add back legacy build-win-signed
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2024-02-02 09:57:47 -08:00 |
|
Nikolaj Bjorner
|
0d24ec3613
|
add 'dist' to folder path
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2024-02-02 09:45:38 -08:00 |
|
Nikolaj Bjorner
|
4260206391
|
include variable ReleaseVersion in Nightly
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2024-02-01 23:16:18 -08:00 |
|
Nikolaj Bjorner
|
30c14f533e
|
include variable ReleaseVersion in Nightly
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2024-02-01 22:39:21 -08:00 |
|
Nikolaj Bjorner
|
d231913c04
|
remove period
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2024-02-01 21:44:59 -08:00 |
|