noq/Makefile.toml at main · n0-computer/noq · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
# Use cargo-make to run tasks here: https://crates.io/crates/cargo-make

[tasks.format]
workspace = false
command = "cargo"
args = [
     "fmt",
     "--all",
     "--",
     "--config",
     "unstable_features=true",
     "--config",
     "imports_granularity=Crate,group_imports=Preserve,reorder_imports=false,format_code_in_doc_comments=true",
]

[tasks.format-check]
workspace = false
command = "cargo"
args = [
     "fmt",
     "--all",
     "--check",
     "--",
     "--config",
     "unstable_features=true",
     "--config",
     "imports_granularity=Crate,group_imports=Preserve,reorder_imports=false,format_code_in_doc_comments=true",
]

[tasks.proptests-long]
# Run proptests with high case count (runs for ~10 minutes)
# Usage: cargo make proptests-long
workspace = false
command = "cargo"
args = ["nextest", "run", "-P", "proptests", "--no-fail-fast"]
env = { "PROPTEST_CASES" = "100000" }

[tasks.proptests-light]
# Run proptests for CI (~1 minute)
# Usage: cargo make proptests-light
workspace = false
command = "cargo"
args = ["nextest", "run", "-P", "proptests", "--no-fail-fast"]
env = { "PROPTEST_CASES" = "10000" }