Back to pull request #12039

misc: fix build of rules profiling #5727

Sign in to view logs

Triggered via pull request October 25, 2024 21:45

regit

opened #12039

regit:rules-profile-build

Status Success

Total duration 10m 22s

Artifacts –

codeql.yml

on: pull_request

Matrix: Analyze