docs: add metadata to Cargo.toml files [skip ci]

Cargo.toml

@@ -18,5 +18,9 @@ license = "BSD-3-Clause"
 edition = "2021"
 rust-version = "1.66"
 
+readme = "README.md"
+keywords = ["temporal logic", "monitoring"]
+repository = "https://github.com/anand-bala/argus"
+
 [workspace.metadata.workspaces]
 allow_branch = "dev"

argus-automata/Cargo.toml

@@ -6,6 +6,8 @@ authors.workspace = true
 license.workspace = true
 edition.workspace = true
 rust-version.workspace = true
+readme.workspace = true
+repository.workspace = true
 
 [dependencies]
 petgraph = "0.6.4"

argus-core/Cargo.toml

@@ -6,6 +6,8 @@ authors.workspace = true
 license.workspace = true
 edition.workspace = true
 rust-version.workspace = true
+readme.workspace = true
+repository.workspace = true
 
 [dependencies]
 derive_more = "0.99.17"

argus-derive/Cargo.toml

@@ -6,6 +6,8 @@ authors.workspace = true
 license.workspace = true
 edition.workspace = true
 rust-version.workspace = true
+readme.workspace = true
+repository.workspace = true
 
 [lib]
 proc-macro = true

argus-parser/Cargo.toml

@@ -6,6 +6,8 @@ authors.workspace = true
 license.workspace = true
 edition.workspace = true
 rust-version.workspace = true
+readme.workspace = true
+repository.workspace = true
 
 [[example]]
 name = "dump_parse_tree"

argus-semantics/Cargo.toml

@@ -6,6 +6,8 @@ authors.workspace = true
 license.workspace = true
 edition.workspace = true
 rust-version.workspace = true
+readme.workspace = true
+repository.workspace = true
 
 [dependencies]
 argus-core = { version = "0.1.1", path = "../argus-core" }

argus/Cargo.toml

@@ -6,6 +6,7 @@ authors.workspace = true
 license.workspace = true
 edition.workspace = true
 rust-version.workspace = true
+readme.workspace = true
 
 [dependencies]
 argus-core = { version = "0.1.1", path = "../argus-core" }

pyargus/Cargo.toml

@@ -6,6 +6,8 @@ authors.workspace = true
 license.workspace = true
 edition.workspace = true
 rust-version.workspace = true
+readme.workspace = true
+repository.workspace = true
 
 [lib]
 name = "pyargus"