From 950a2b789601ab0653bcfd18d044ad29f8c33e15 Mon Sep 17 00:00:00 2001 From: Sebastian Ullrich Date: Tue, 23 Dec 2025 09:17:22 -0800 Subject: [PATCH] chore: ensure every pkg/ test has a correct lean-toolchain file (#11782) --- tests/pkg/builtin_attr/lean-toolchain | 1 + tests/pkg/debug/lean-toolchain | 1 + tests/pkg/def_clash/lean-toolchain | 1 + tests/pkg/deriving/lean-toolchain | 1 + tests/pkg/frontend/lean-toolchain | 1 + tests/pkg/initialize/lean-toolchain | 1 + tests/pkg/linter_set/lean-toolchain | 1 + tests/pkg/mod_clash/lean-toolchain | 1 + tests/pkg/path with spaces/lean-toolchain | 1 + tests/pkg/setup/lean-toolchain | 1 + tests/pkg/signal/lean-toolchain | 1 + tests/pkg/structure_docstrings/lean-toolchain | 2 +- tests/pkg/test_extern/lean-toolchain | 1 + tests/pkg/user_attr/lean-toolchain | 1 + tests/pkg/user_attr_app/lean-toolchain | 1 + tests/pkg/user_ext/lean-toolchain | 1 + tests/pkg/user_opt/lean-toolchain | 1 + tests/pkg/user_plugin/lean-toolchain | 1 + tests/pkg/ver_clash/lean-toolchain | 1 + 19 files changed, 19 insertions(+), 1 deletion(-) create mode 100644 tests/pkg/builtin_attr/lean-toolchain create mode 100644 tests/pkg/debug/lean-toolchain create mode 100644 tests/pkg/def_clash/lean-toolchain create mode 100644 tests/pkg/deriving/lean-toolchain create mode 100644 tests/pkg/frontend/lean-toolchain create mode 100644 tests/pkg/initialize/lean-toolchain create mode 100644 tests/pkg/linter_set/lean-toolchain create mode 100644 tests/pkg/mod_clash/lean-toolchain create mode 100644 tests/pkg/path with spaces/lean-toolchain create mode 100644 tests/pkg/setup/lean-toolchain create mode 100644 tests/pkg/signal/lean-toolchain create mode 100644 tests/pkg/test_extern/lean-toolchain create mode 100644 tests/pkg/user_attr/lean-toolchain create mode 100644 tests/pkg/user_attr_app/lean-toolchain create mode 100644 tests/pkg/user_ext/lean-toolchain create mode 100644 tests/pkg/user_opt/lean-toolchain create mode 100644 tests/pkg/user_plugin/lean-toolchain create mode 100644 tests/pkg/ver_clash/lean-toolchain diff --git a/tests/pkg/builtin_attr/lean-toolchain b/tests/pkg/builtin_attr/lean-toolchain new file mode 100644 index 0000000000..dcca6df980 --- /dev/null +++ b/tests/pkg/builtin_attr/lean-toolchain @@ -0,0 +1 @@ +lean4 diff --git a/tests/pkg/debug/lean-toolchain b/tests/pkg/debug/lean-toolchain new file mode 100644 index 0000000000..dcca6df980 --- /dev/null +++ b/tests/pkg/debug/lean-toolchain @@ -0,0 +1 @@ +lean4 diff --git a/tests/pkg/def_clash/lean-toolchain b/tests/pkg/def_clash/lean-toolchain new file mode 100644 index 0000000000..dcca6df980 --- /dev/null +++ b/tests/pkg/def_clash/lean-toolchain @@ -0,0 +1 @@ +lean4 diff --git a/tests/pkg/deriving/lean-toolchain b/tests/pkg/deriving/lean-toolchain new file mode 100644 index 0000000000..dcca6df980 --- /dev/null +++ b/tests/pkg/deriving/lean-toolchain @@ -0,0 +1 @@ +lean4 diff --git a/tests/pkg/frontend/lean-toolchain b/tests/pkg/frontend/lean-toolchain new file mode 100644 index 0000000000..dcca6df980 --- /dev/null +++ b/tests/pkg/frontend/lean-toolchain @@ -0,0 +1 @@ +lean4 diff --git a/tests/pkg/initialize/lean-toolchain b/tests/pkg/initialize/lean-toolchain new file mode 100644 index 0000000000..dcca6df980 --- /dev/null +++ b/tests/pkg/initialize/lean-toolchain @@ -0,0 +1 @@ +lean4 diff --git a/tests/pkg/linter_set/lean-toolchain b/tests/pkg/linter_set/lean-toolchain new file mode 100644 index 0000000000..dcca6df980 --- /dev/null +++ b/tests/pkg/linter_set/lean-toolchain @@ -0,0 +1 @@ +lean4 diff --git a/tests/pkg/mod_clash/lean-toolchain b/tests/pkg/mod_clash/lean-toolchain new file mode 100644 index 0000000000..dcca6df980 --- /dev/null +++ b/tests/pkg/mod_clash/lean-toolchain @@ -0,0 +1 @@ +lean4 diff --git a/tests/pkg/path with spaces/lean-toolchain b/tests/pkg/path with spaces/lean-toolchain new file mode 100644 index 0000000000..dcca6df980 --- /dev/null +++ b/tests/pkg/path with spaces/lean-toolchain @@ -0,0 +1 @@ +lean4 diff --git a/tests/pkg/setup/lean-toolchain b/tests/pkg/setup/lean-toolchain new file mode 100644 index 0000000000..dcca6df980 --- /dev/null +++ b/tests/pkg/setup/lean-toolchain @@ -0,0 +1 @@ +lean4 diff --git a/tests/pkg/signal/lean-toolchain b/tests/pkg/signal/lean-toolchain new file mode 100644 index 0000000000..dcca6df980 --- /dev/null +++ b/tests/pkg/signal/lean-toolchain @@ -0,0 +1 @@ +lean4 diff --git a/tests/pkg/structure_docstrings/lean-toolchain b/tests/pkg/structure_docstrings/lean-toolchain index acba940092..dcca6df980 100644 --- a/tests/pkg/structure_docstrings/lean-toolchain +++ b/tests/pkg/structure_docstrings/lean-toolchain @@ -1 +1 @@ -lean4-2 +lean4 diff --git a/tests/pkg/test_extern/lean-toolchain b/tests/pkg/test_extern/lean-toolchain new file mode 100644 index 0000000000..dcca6df980 --- /dev/null +++ b/tests/pkg/test_extern/lean-toolchain @@ -0,0 +1 @@ +lean4 diff --git a/tests/pkg/user_attr/lean-toolchain b/tests/pkg/user_attr/lean-toolchain new file mode 100644 index 0000000000..dcca6df980 --- /dev/null +++ b/tests/pkg/user_attr/lean-toolchain @@ -0,0 +1 @@ +lean4 diff --git a/tests/pkg/user_attr_app/lean-toolchain b/tests/pkg/user_attr_app/lean-toolchain new file mode 100644 index 0000000000..dcca6df980 --- /dev/null +++ b/tests/pkg/user_attr_app/lean-toolchain @@ -0,0 +1 @@ +lean4 diff --git a/tests/pkg/user_ext/lean-toolchain b/tests/pkg/user_ext/lean-toolchain new file mode 100644 index 0000000000..dcca6df980 --- /dev/null +++ b/tests/pkg/user_ext/lean-toolchain @@ -0,0 +1 @@ +lean4 diff --git a/tests/pkg/user_opt/lean-toolchain b/tests/pkg/user_opt/lean-toolchain new file mode 100644 index 0000000000..dcca6df980 --- /dev/null +++ b/tests/pkg/user_opt/lean-toolchain @@ -0,0 +1 @@ +lean4 diff --git a/tests/pkg/user_plugin/lean-toolchain b/tests/pkg/user_plugin/lean-toolchain new file mode 100644 index 0000000000..dcca6df980 --- /dev/null +++ b/tests/pkg/user_plugin/lean-toolchain @@ -0,0 +1 @@ +lean4 diff --git a/tests/pkg/ver_clash/lean-toolchain b/tests/pkg/ver_clash/lean-toolchain new file mode 100644 index 0000000000..dcca6df980 --- /dev/null +++ b/tests/pkg/ver_clash/lean-toolchain @@ -0,0 +1 @@ +lean4