copilot-swe-agent[bot]
9916c42249
Create GitHub Actions release.yml workflow
...
- Migrated Azure DevOps release pipeline to GitHub Actions
- Aligned structure and conventions with nightly.yml
- Added manual workflow dispatch with version input
- Included conditional publishing to GitHub, NuGet, and PyPI
- Updated to use manylinux_2_28 container (consistent with nightly)
- Added --zip flag to all Windows builds
- Set 7-day retention for release artifacts
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
2026-01-18 20:25:21 +00: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
Copilot
a586093e4c
Change code-conventions-analyzer workflow from weekly to daily schedule ( #8229 )
...
* Initial plan
* Update code-conventions-analyzer to run daily instead of weekly
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 10:59:23 -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
cfe780cd71
Update C++ compiler version in cross-build workflow
2026-01-17 05:22:00 -08:00
Nikolaj Bjorner
c2a8416d3b
Change container image from ubuntu:jammy to ubuntu:noble
2026-01-17 05:20:24 -08:00
Nikolaj Bjorner
475087c83c
Update GCC version in cross-build workflow
2026-01-16 21:29:17 -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
Nikolaj Bjorner
559fd2f0aa
Add workflow_dispatch trigger to android-build.yml
2026-01-16 19:59:06 -08:00
Nikolaj Bjorner
e3dc7081fa
Update cross-build.yml
2026-01-16 19:57:19 -08:00
Copilot
a574f97ebd
Update cross-build workflow to GCC 12 for C++20 support ( #8220 )
...
* Initial plan
* Update cross-build workflow to use g++-12 for C++20 support
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 19:53:36 -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
Nuno Lopes
a7def9e65d
bot: restore std::format
2026-01-16 09:35:42 +00: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
Copilot
be2d7ecb91
Change code-conventions-analyzer workflow discussion category to "Agentic Workflows" ( #8203 )
...
* Initial plan
* Update code-conventions-analyzer discussion category to "Agentic Workflows"
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 12:45:47 -08:00
Copilot
6df16fad9c
Update api-coherence-checker workflow to use "Agentic Workflows" discussion category ( #8202 )
...
* Initial plan
* Update api-coherence-checker to use "Agentic Workflows" discussion category
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 12:45:13 -08:00
Copilot
7d4964a2f0
Fix api-coherence workflow to verify and filter resolved issues ( #8201 )
...
* Initial plan
* Update api-coherence workflow to verify and filter resolved issues
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 11:40:26 -08:00
Nuno Lopes
888d2fc480
copilot: don't use std::format and try using clang-tidy
2026-01-14 09:17:49 +00:00
Copilot
3bf271bb42
Enhance Code Conventions Analyzer for empty constructors and non-virtual destructors ( #8192 )
...
* Initial plan
* Enhance Code Conventions Analyzer for empty constructors and non-virtual destructors
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-13 18:57:10 -08:00
Nikolaj Bjorner
a0bca2b71a
Add workflow_dispatch trigger to wip.yml
2026-01-13 10:49:33 -08:00
Nikolaj Bjorner
1806e8bb33
Update pyodide.yml
2026-01-13 10:48:34 -08:00
Copilot
635c7ea32e
Extend code-conventions-analyzer workflow with Z3-specific C++ modernization patterns ( #8187 )
...
* Initial plan
* Update code-conventions-analyzer workflow with modern C++ preferences
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-13 09:35:57 -08:00
dependabot[bot]
bb6cd7cd0e
Bump actions/setup-dotnet from 4.3.1 to 5.0.1 ( #8175 )
...
Bumps [actions/setup-dotnet](https://github.com/actions/setup-dotnet ) from 4.3.1 to 5.0.1.
- [Release notes](https://github.com/actions/setup-dotnet/releases )
- [Commits](67a3573c9a...2016bd2012
2026-01-12 20:45:55 -08:00
dependabot[bot]
6023b4c406
Bump actions/download-artifact from 6.0.0 to 7.0.0 ( #8176 )
...
Bumps [actions/download-artifact](https://github.com/actions/download-artifact ) from 6.0.0 to 7.0.0.
- [Release notes](https://github.com/actions/download-artifact/releases )
- [Commits](https://github.com/actions/download-artifact/compare/v6...v7 )
---
updated-dependencies:
- dependency-name: actions/download-artifact
dependency-version: 7.0.0
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-12 20:45:41 -08:00
dependabot[bot]
df95e219b4
Bump actions/setup-java from 4.8.0 to 5.1.0 ( #8177 )
...
Bumps [actions/setup-java](https://github.com/actions/setup-java ) from 4.8.0 to 5.1.0.
- [Release notes](https://github.com/actions/setup-java/releases )
- [Commits](c1e323688f...f2beeb24e1
2026-01-12 20:45:23 -08:00
dependabot[bot]
b9b1ae56f2
Bump actions/checkout from 4.2.2 to 6.0.1 ( #8178 )
...
Bumps [actions/checkout](https://github.com/actions/checkout ) from 4.2.2 to 6.0.1.
- [Release notes](https://github.com/actions/checkout/releases )
- [Commits](https://github.com/actions/checkout/compare/v4.2.2...v6.0.1 )
---
updated-dependencies:
- dependency-name: actions/checkout
dependency-version: 6.0.1
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-12 20:45:10 -08:00
dependabot[bot]
aeb7f7eb51
Bump astral-sh/setup-uv from 5.4.2 to 7.2.0 ( #8179 )
...
Bumps [astral-sh/setup-uv](https://github.com/astral-sh/setup-uv ) from 5.4.2 to 7.2.0.
- [Release notes](https://github.com/astral-sh/setup-uv/releases )
- [Commits](d4b2f3b6ec...61cb8a9741
2026-01-12 20:44:56 -08:00
Copilot
15108bf36e
Update API coherence checker to include OCaml bindings and remove Julia ( #8168 )
...
* Initial plan
* Update API coherence checker to include OCaml bindings and remove Julia
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-11 21:19:40 -08:00
Copilot
40250bfcb8
Change Code Conventions Analyzer to output to Discussions instead of Issues ( #8163 )
...
* Initial plan
* Change Code Conventions Analyzer to use Discussions instead of Issues
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-11 18:08:24 -08:00
Nikolaj Bjorner
854d7a5af1
remove ci-doctor
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2026-01-11 13:33:26 -08:00
Copilot
d29fc3eef3
Build Warning Fixer: Build Z3 directly instead of reading workflow logs ( #8148 )
...
* Initial plan
* Update Build Warning Fixer to build Z3 directly instead of reading logs
- Change workflow to pick a random build configuration and build Z3 directly
- Remove GitHub Actions toolset and agentic-workflows tool dependencies
- Update instructions to extract warnings from direct build output
- Increase timeout from 30 to 60 minutes to accommodate build time
- Add examples for wip.yml, cross-build.yml, and coverage.yml workflows
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-10 20:25:01 -08:00
Copilot
94898c6bf8
Fix agentics-maintenance.yml: use pre-built gh-aw binary instead of building from source ( #8147 )
...
* Initial plan
* Fix agentics-maintenance.yml: Replace Go build with pre-built binary installation
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
* Pin gh-aw installation script to v0.36.0 commit hash for security
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-10 19:45:25 -08:00
Copilot
05994345cb
Add agentic workflow for C++ coding conventions and modernization analysis ( #8140 )
...
* Initial plan
* Add code conventions analyzer agentic workflow
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-10 12:28:31 -08:00
Copilot
bac004047b
[WIP] Fix build warning fixer to access daily build logs ( #8133 )
...
* Initial plan
* Update build-warning-fixer with correct tool usage and examples
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
* Add specific workflow targets to build-warning-fixer
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-08 21:10:27 -08:00
Copilot
22061a7452
Remove GITHUB_READ_ONLY flag blocking Actions log retrieval in build-warning-fixer ( #8128 )
...
* Initial plan
* Remove GITHUB_READ_ONLY=1 flag to allow log retrieval in build-warning-fixer
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-08 20:07:16 -08:00
Nikolaj Bjorner
1d3bdd6e43
remove stale actions
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2026-01-08 20:01:35 -08:00
Nikolaj Bjorner
26fd6caf27
remove stale actions
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2026-01-08 20:01:00 -08:00
Nikolaj Bjorner
0decb25420
Delete .github/workflows/codeql-analysis.yml
2026-01-08 19:59:08 -08:00
Copilot
936952dd00
Enable workflow log access for build-warning-fixer agent ( #8123 )
...
* Initial plan
* Enable agentic-workflows MCP server for workflow log access
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-08 15:06:57 -08:00
Copilot
8e59c4938a
Upgrade agentic workflows to gh-aw v0.36.0 ( #8122 )
...
* Initial plan
* Upgrade agentic workflows to gh-aw v0.36.0
- Applied automatic codemods (timeout_minutes → timeout-minutes, command → slash_command)
- Fixed pr-fix.md: push-to-pr-branch → push-to-pull-request-branch
- Updated include paths from agentics/shared/ to shared/
- Migrated @include syntax to {{#import}} syntax
- Moved shared workflow files to standard .github/workflows/shared/ location
- Ran gh aw init to refresh agent files and instructions
- All 8 workflows compile successfully
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-08 11:50:35 -08:00
Nikolaj Bjorner
c107ba22b3
Merge branch 'master' of https://github.com/Z3Prover/z3
2026-01-08 18:46:41 +00:00
