Skip to content

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

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) #325

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

docs.yml

on: push
build-and-deploy
2m 40s
build-and-deploy
Fit to window
Zoom out
Zoom in