paoda d20f08ec81 ci: the problem is actually with -Dcpu=baseline
TODO: figure out how to work around it....
2024-03-06 17:34:44 -06:00
..