Skip to content

NO-ISSUE: skip building proton tools in CI to speed up builds that don't require proton tools #119

NO-ISSUE: skip building proton tools in CI to speed up builds that don't require proton tools

NO-ISSUE: skip building proton tools in CI to speed up builds that don't require proton tools #119

Triggered via pull request October 21, 2023 12:48
Status Success
Total duration 12m 38s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

codeql.yml

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

Annotations

1 warning
Analyze (cpp)
The "paths"/"paths-ignore" fields of the config only have effect for JavaScript, Python, and Ruby