Repository navigation

CBMC: Push performance data to gh-pages - #1494

Merged

mkannwischer merged 2 commits into

mainfrom

gh-pages-push-fix

Oct 25, 2026

Merged

CBMC: Push performance data to gh-pages#1494
mkannwischer merged 2 commits into
mainfrom
gh-pages-push-fix

Commits on Oct 25, 2026
- CBMC: Only use name-only baselines for default configurations
  hanno-becker
  committed
  8882e33
- CI: Publish CBMC baselines from merge queue runs
  hanno-becker
  committed
  de6cb3b