Skip to content

Merge pull request #1963 from github/aeisenberg/fix-source-root #2390

Merge pull request #1963 from github/aeisenberg/fix-source-root

Merge pull request #1963 from github/aeisenberg/fix-source-root #2390

Triggered via push November 2, 2023 15:18
Status Success
Total duration 9m 28s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention
Matrix: Code Scanning Configuration tests
Fit to window
Zoom out
Zoom in