Review the bus skew constraint to confirm it is applied only to asynchronous CDC paths.
If the paths are expected to be asynchronous but are reported as synchronous by Vivado, check for missing timing exceptions such as
set_clock_groups, set_false_path, or
set_max_delay -datapath_only.