From f7684edcad8ae73eb15b0a95fc915868dc39d387 Mon Sep 17 00:00:00 2001 From: Amily Wu Date: Fri, 2 Aug 2024 10:18:13 -0500 Subject: [PATCH] SeAdd v requirements s --- tuning/requirements-dev.txt | 1 + tuning/tuner_requirements/requirements.txt | 1 - 2 files changed, 1 insertion(+), 1 deletion(-) create mode 100644 tuning/requirements-dev.txt diff --git a/tuning/requirements-dev.txt b/tuning/requirements-dev.txt new file mode 100644 index 0000000..1509fe7 --- /dev/null +++ b/tuning/requirements-dev.txt @@ -0,0 +1 @@ +pre-commit==3.8.0 diff --git a/tuning/tuner_requirements/requirements.txt b/tuning/tuner_requirements/requirements.txt index c969444..f3484c9 100644 --- a/tuning/tuner_requirements/requirements.txt +++ b/tuning/tuner_requirements/requirements.txt @@ -2,4 +2,3 @@ pytest==8.2.2 tqdm==4.66.4 z3_solver==4.13.0.0 types-tqdm==4.66.0.20240417 -pre-commit==3.8.0