Skip to content
CodeQL

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

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 #86

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

codeql.yaml

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