The CI portability guard cannot fire. The workflow checks readelf -n for an x86-64-v[234] marker to reject a non-portable release binary. GCC only writes that marker when compiled with -mneeded. I confirmed that a real -march=x86-64-v3 solver binary reports x86-64-baseline and passes the guard unchanged. Either add -mneeded to the GCC flags so any accidental v3 build is marked, or replace the check. See test.yml:137 and test.yml:189.
The CI portability guard cannot fire. The workflow checks readelf -n for an x86-64-v[234] marker to reject a non-portable release binary. GCC only writes that marker when compiled with -mneeded. I confirmed that a real -march=x86-64-v3 solver binary reports x86-64-baseline and passes the guard unchanged. Either add -mneeded to the GCC flags so any accidental v3 build is marked, or replace the check. See test.yml:137 and test.yml:189.