陳倉の戦い
陳倉の戦いの直後の229年春、諸葛亮は陳式に命じて武都・陰平の2郡を攻めさせた。これに対して魏の郭淮が救援に向かったが、諸葛亮自身が武都郡の建威に出撃して彼の退路を断とうとしたので撤退した。陳式は無事に武都・陰平を制圧した。この時期、武都郡の太守を務めていた韋誕がどのような行動をとったのかは記録されていない。
戦後、この功績により劉禅は、詔を下し「街亭の役の責任は、馬謖にあり、このたび王双を斬り、郭淮を遁走させ、氐羌の集を降し、また2郡を興した。功績は明らかである」として、諸葛亮を丞相に復帰させた。