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

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

Commits

  1. Commits on Oct 12, 2026