Skip to content

Running benchmark campaign locally#545

Merged
danielelerede-oet merged 23 commits into
mainfrom
daniele/local_campaign
Jul 17, 2026
Merged

Running benchmark campaign locally#545
danielelerede-oet merged 23 commits into
mainfrom
daniele/local_campaign

Conversation

@danielelerede-oet

Copy link
Copy Markdown
Member

This PR builds on #533 and allows benchmark runs on a local machine.

With this setup campaigns are created in:

  • infrastructure/benchmarks/ (cloud campaigns),
  • infrastructure/local/benchmarks/ (local campaigns),

Campaign targets

  • Added support for two execution targets:

    • cloud (default)
    • local (ignores information provided on the machine type)
  • Cloud campaigns generate OpenTofu deployment files.

  • Local campaigns generate:

    • local_benchmarks.yaml
    • run_local.sh
    • campaign_summary.csv

and can optionally be launched directly from the generated campaign.

Benchmark and solver selection work as in #533.

@vercel

vercel Bot commented Jun 19, 2026

Copy link
Copy Markdown

The latest updates on your projects. Learn more about Vercel for GitHub.

Project Deployment Actions Updated (UTC)
solver-benchmark Ready Ready Preview, Comment Jul 17, 2026 2:31pm

Request Review

@eantonini eantonini left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good to me!

@eantonini eantonini added enhancement New feature or request benchmark labels Jul 14, 2026
@danielelerede-oet
danielelerede-oet merged commit b27fe21 into main Jul 17, 2026
8 checks passed
@danielelerede-oet
danielelerede-oet deleted the daniele/local_campaign branch July 17, 2026 14:38
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

benchmark enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants