CodeQL

Run performance comparison in CI using Kani's Benchcomp #5513

Sign in to view logs

Triggered via pull request January 25, 2024 15:00

tautschnig

synchronize #8171

tautschnig:features/benchcomp

Status Success

Total duration 52m 0s

Artifacts –

codeql-analysis.yml

on: pull_request

Matrix: Analyze