mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-10-08 08:51:55 +00:00
Code Activity
z3/.github/actions/daily-perf-improver
History
Exact
Daily Perf Improver a31656a705 Daily Perf Improver: Add build steps configuration 
This commit adds the GitHub Action configuration file for setting up
the Z3 build environment for performance development work.

The action includes:
- Installing build dependencies (cmake, ninja, python3, etc.)
- Cleaning any polluted source tree from previous Python builds
- Configuring CMake with RelWithDebInfo for performance work
- Building Z3 and test executables
- Cloning z3test repository for benchmarks
- Setting up performance measurement tools
- Creating micro-benchmark infrastructure

This configuration is based on the research and plan outlined in
issue #7872 and follows the standard CMake build process documented
in README-CMake.md.

> AI-generated content by [Daily Perf Improver](https://github.com/Z3Prover/z3/actions/runs/17735701277) may contain mistakes.
2025-09-15 14:05:21 +00:00
..
build-steps Daily Perf Improver: Add build steps configuration 2025-09-15 14:05:21 +00:00