[ci] Fix build failure for build-pytorch-jni-linux
#2920
Merged
GitHub Advanced Security / CodeQL
succeeded
Jan 5, 2024 in 2s
No new alerts in code changed by this pull request
Loading