FStar
FStar copied to clipboard
Use annotated tags for releases
$ 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.