extraction: move max_tree_size parameter to settings.cfg #1146

Sign in to view logs

Triggered via pull request November 11, 2024 15:26

adbar

opened #742

cfg_tree_size

Status Success

Total duration 1m 45s

Artifacts –

codeql.yml

on: pull_request

Matrix: Analyze