Performance Benchmarking

Pointer analysis: Replace uses of namespacet::follow #58

Sign in to view logs

Triggered via pull request March 22, 2024 19:44

tautschnig

synchronize #8231

tautschnig:cleanup/no-follow-pointer-analysis

Status Success

Total duration 2h 2m 51s

Artifacts –

performance.yaml

on: pull_request