extraction: move max_tree_size parameter to settings.cfg #1147

Sign in to view logs

Triggered via pull request November 11, 2024 15:36

adbar

synchronize #742

cfg_tree_size

Status Success

Total duration 1m 35s

Artifacts –

codeql.yml

on: pull_request

Matrix: Analyze