Skip to content

Fix CI comments that name the wrong source of -march=native - #271

Closed
zfergus wants to merge 1 commit into
mainfrom
fix/ci-native-flag-comments
Closed

Fix CI comments that name the wrong source of -march=native#271
zfergus wants to merge 1 commit into
mainfrom
fix/ci-native-flag-comments

Fix the -march=native source in CI comments

ef490e3
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar