Files
noq/Makefile.toml
Friedel Ziegelmayer f41f278609 ci: add expanded proptest runs to ci (#395)
* test(proto): add failing seeds found in CI

* ci: add expanded proptest runs to ci

Adds daily runs, and a longer run for regular tests, also available as cargo make tasks

* ci: fight windows

* another failing seed

* apply CR

* add seeds found in CI

---------

Co-authored-by: Philipp Krüger <philipp.krueger1@gmail.com>
2026-02-19 15:24:28 +00:00

45 lines
1.1 KiB
TOML

# 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" }