diff --git a/.github/verification-trigger-v6 b/.github/verification-trigger-v6 new file mode 100644 index 00000000..2606ede3 --- /dev/null +++ b/.github/verification-trigger-v6 @@ -0,0 +1 @@ +Run verification and retain the exact source tree for local reproduction.