Skip to content

fix: use actual PR head SHA in GitHub Actions instead of merge commit #3801

fix: use actual PR head SHA in GitHub Actions instead of merge commit

fix: use actual PR head SHA in GitHub Actions instead of merge commit #3801

Triggered via pull request September 23, 2025 12:44
Status Success
Total duration 1m 22s
Artifacts

codeql-analysis.yml

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