FStar icon indicating copy to clipboard operation
FStar copied to clipboard

Published 20 hours ago • verified publisher icon FStarLang

Use annotated tags for releases

Open mtzguido opened this issue 1 year ago • 0 comments 

$ git describe
schoolNancy17-26894-g64e5bc6b00

This should be based on the latest release instead. Using --tags forces that, but many tools don't look at non-annotated tags.

mtzguido avatar Oct 09 '24 00:10 mtzguido