svn commit: r85102 - in dev/tvm: tvm-v0.25.0-rc0 tvm-v0.25.0.rc0

[ruihangl]

Author: ruihangl
Date: Mon Jun  8 20:42:48 2026
New Revision: 85102

Log:
Rename TVM v0.25.0 RC dir to match convention

Added:
   dev/tvm/tvm-v0.25.0-rc0/
      - copied from r85101, dev/tvm/tvm-v0.25.0.rc0/
Deleted:
   dev/tvm/tvm-v0.25.0.rc0/