3 commits

Author	SHA1	Message	Date
dependabot[bot]	ae90696e50	Bump actions/download-artifact from 8.0.0 to 8.0.1 (#9113) ... Bumps [actions/download-artifact](https://github.com/actions/download-artifact) from 8.0.0 to 8.0.1. - [Release notes](https://github.com/actions/download-artifact/releases) - [Commits](https://github.com/actions/download-artifact/compare/v8...v8.0.1) --- updated-dependencies: - dependency-name: actions/download-artifact dependency-version: 8.0.1 dependency-type: direct:production update-type: version-update:semver-patch ... Signed-off-by: dependabot[bot] <support@github.com> Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>	2026-03-23 16:32:49 -07:00
Nikolaj Bjorner	ccdfdbb176	recompiled ... Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>	2026-03-20 16:32:44 -07:00
Copilot	4a8c9729bf	Add ostrich-benchmark agentic workflow for ZIPT/Z3 c3 branch benchmarking (#9064) ... Agent-Logs-Url: https://github.com/Z3Prover/z3/sessions/bfaec259-86d9-4b56-ab04-182835e3563b Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com> Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>	2026-03-20 11:19:37 -07:00