mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-02-10 02:50:55 +00:00
Code Activity
20586 commits 50 branches 56 tags 170 MiB
Commit graph

24 commits

Author SHA1 Message Date
Nikolaj Bjorner
45fd779621
Merge pull request #8541 from Z3Prover/copilot/update-nightly-build-test-process 
Add macOS dylib headerpad fix and CI validation
 2026-02-08 12:43:45 -08:00
Nikolaj Bjorner
85534f154d update version 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2026-02-08 12:42:35 -08:00
copilot-swe-agent[bot]
e685ea45ed Fix OCaml linker flag and align validation runners with build runners 
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
 2026-02-08 17:26:30 +00:00
copilot-swe-agent[bot]
406e99b0d2 Fix install_name_tool command and runner consistency in validation jobs 
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
 2026-02-08 17:19:57 +00:00
copilot-swe-agent[bot]
8d404f6b87 Add macOS dylib headerpad validation to nightly and release workflows 
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
 2026-02-08 17:16:32 +00:00
Nikolaj Bjorner
0ed85db8a2 update version 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2026-02-07 18:47:15 -08:00
dependabot[bot]
7087adde9a
Bump actions/checkout from 5.0.1 to 6.0.2 (#8483) 
Bumps [actions/checkout](https://github.com/actions/checkout) from 5.0.1 to 6.0.2.
- [Release notes](https://github.com/actions/checkout/releases)
- [Commits](https://github.com/actions/checkout/compare/v5.0.1...v6.0.2)

---
updated-dependencies:
- dependency-name: actions/checkout
  dependency-version: 6.0.2
  dependency-type: direct:production
  update-type: version-update:semver-major
...

Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
 2026-02-03 10:07:58 -08:00
dependabot[bot]
8596ec695b
Bump actions/checkout from 4 to 6 (#8351) 
Bumps [actions/checkout](https://github.com/actions/checkout) from 4 to 6.
- [Release notes](https://github.com/actions/checkout/releases)
- [Commits](https://github.com/actions/checkout/compare/v4...v6)

---
updated-dependencies:
- dependency-name: actions/checkout
  dependency-version: '6'
  dependency-type: direct:production
  update-type: version-update:semver-major
...

Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
 2026-01-26 16:07:23 -08:00
Copilot
d055eea24e
Add Windows ARM64 Python wheel builds (#8280) 
* Initial plan

* Add Windows ARM64 Python wheel building to nightly and release builds

Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>

* Improve clarity of wheel copying step with better comments

Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>

* Use existing windows-build-arm64 output instead of separate build job

Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>

---------

Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com>
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
 2026-01-21 21:15:11 -08:00
Nikolaj Bjorner
c8df8fd730 updated dependencies 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2026-01-19 21:09:36 -08:00
Nikolaj Bjorner
b9591ed3e6 update nightly 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2026-01-18 09:41:02 -08:00
Nikolaj Bjorner
aab947551f
Update python-package job dependencies in nightly.yml 
Removed manylinux-python-arm64 dependency from python-package job.
 2026-01-17 22:35:11 -08:00
Copilot
58d3c29c9c
Fix nightly release deployment: explicitly delete Git tag to prevent asset conflicts (#8233) 
* Initial plan

* Fix nightly release deployment by explicitly deleting tag

Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>

---------

Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com>
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
 2026-01-17 20:22:51 -08:00
Nikolaj Bjorner
c7e4332792
Update nightly.yml 2026-01-17 12:23:05 -08:00
Nikolaj Bjorner
216b2eef40
List files in tmp directory for nightly release 
Add a command to list files before creating the nightly release.
 2026-01-17 12:00:01 -08:00
Nikolaj Bjorner
e9390ad433
Add architecture option to build command 2026-01-17 10:20:32 -08:00
Nikolaj Bjorner
d2253b61db
Update nightly.yml 2026-01-17 06:03:24 -08:00
Nikolaj Bjorner
8fbce2c75e
Update nightly.yml 2026-01-16 21:14:15 -08:00
Nikolaj Bjorner
3837baf00b
Update nightly.yml 2026-01-16 20:08:17 -08:00
Copilot
9666915dca
Fix artifact extraction patterns in nightly Python packaging job (#8217) 
* Initial plan

* Fix unzip patterns in Python packaging job

Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>

---------

Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com>
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
 2026-01-16 15:50:22 -08:00
Copilot
596cd23efc
Fix nightly build failures in ARM64 and Python packaging jobs (#8213) 
* Initial plan

* Fix nightly build workflow failures for ARM64 and Python packaging

Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>

---------

Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com>
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
 2026-01-16 10:39:05 -08:00
Copilot
fb0f8190e3
[WIP] Update nightly.yml to fix build error with macOS runner (#8209) 
* Initial plan

* Fix macos-13 runner retirement: update to macos-14

Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>

---------

Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com>
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
 2026-01-15 23:09:01 -08:00
Copilot
07929c3271
Fix checkout action GLIBC incompatibility in manylinux and macOS builds (#8207) 
* Initial plan

* Fix checkout action compatibility with manylinux containers and macOS

Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>

---------

Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com>
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
 2026-01-15 21:54:24 -08:00
Copilot
7d899fdc43
Migrate nightly builds from Azure DevOps to GitHub Actions (#8206) 
* Initial plan

* Add GitHub Actions workflow for nightly builds

Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>

* Fix Windows builds to use --zip flag instead of manual archiving

Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>

---------

Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com>
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
 2026-01-15 21:08:55 -08:00