No Check do Check (#7942)

Co-authored-by: Douwe Osinga <douwe@squareup.com>
This commit is contained in:
Douwe Osinga
2026-03-16 18:13:23 -04:00
committed by GitHub
parent 8652055458
commit a79cf7e1ef
2 changed files with 2 additions and 3 deletions
@@ -54,7 +54,7 @@ fn normalize_provider_name(provider: &str) -> &str {
struct Args {
/// Skip the canonical model checker (only build models)
#[arg(long)]
no_check: bool,
do_check: bool,
}
#[derive(Debug, Clone, Serialize, Deserialize, PartialEq, Eq, Hash)]
@@ -660,7 +660,7 @@ async fn main() -> Result<()> {
build_canonical_models().await?;
if !args.no_check {
if args.do_check {
check_canonical_mappings().await?;
}