Performance Benchmarking

Automatically produce a CBMC release twice per month #654

Sign in to view logs

Triggered via pull request August 23, 2024 11:29

tautschnig

opened #8425

tautschnig:auto-release

Status Success

Total duration 47m 56s

Artifacts –

performance.yaml

on: pull_request