Remove old model checking pipeline files (#6381)

Co-authored-by: Amaury Chamayou <amchamay@microsoft.com>
microsoft · Jul 22, 2024 · 7916601 · 7916601
1 parent fc4f6b9
commit 7916601
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 38 deletions.
diff --git a/.azure-pipelines-model-checking.yml b/.azure-pipelines-model-checking.yml
diff --git a/.model_checking_canary b/.model_checking_canary