Skip to content
CodeQL

chore: Bump the max duration of a profile for which we generate call trees #82

Sign in to view logs

chore: Bump the max duration of a profile for which we generate call trees

chore: Bump the max duration of a profile for which we generate call trees #82

Triggered via pull request October 3, 2023 15:37
@phacopsphacops
synchronize #330
pierre/bump-max-profile-duration-for-call-trees
Status Success
Total duration 3m 28s
Artifacts –

codeql.yaml

on: pull_request
Matrix: Analyze
Fit to window
Zoom out
Zoom in