does-it-build/migrations/20250705120351_rename-miri-std.sql
Noratrieb df486c20f8 Use cargo check -Zbuild-std instead of cargo miri setup
This should be more reliable (not building with `cfg(miri)` and more
accurately knowing whether a target supports std).

Known targets affected by this change:
- cygwin: should now build since it only breaks in `cfg(miri)`
- i686-pc-nto-qnx700: officially doesn't support std

closes #4
2025-07-05 14:21:26 +02:00

3 lines
127 B
SQL

UPDATE finished_nightly SET mode = 'std' WHERE mode = 'miri-std';
UPDATE build_info SET mode = 'std' WHERE mode = 'miri-std';