[anneal] Release 0.1.0-alpha.11 (#3246)

gherrit-pr-id: Gjqucfyn45lzgg45qt4lehjyirj6rjpgh

Author: joshlf

anneal/Cargo.lock

@@ -4,7 +4,7 @@ members = [".", "tools/doc_gen"]
 [package]
 name = "cargo-anneal"
 edition = "2024"
-version = "0.1.0-alpha.10"
+version = "0.1.0-alpha.11"
 description = "Formally verify that your safety comments are correct."
 categories = [
   "development-tools::cargo-plugins",