Skip to content

GNU Make: Don't replace -I with -isystem for MPI include paths (#3985) #184

GNU Make: Don't replace -I with -isystem for MPI include paths (#3985)

GNU Make: Don't replace -I with -isystem for MPI include paths (#3985) #184

Triggered via push June 12, 2024 14:30
Status Success
Total duration 15m 57s
Artifacts

codeql.yml

on: push
save_pr_number
0s
save_pr_number
Matrix: Analyze
Fit to window
Zoom out
Zoom in