From f5126bc82a20010988e0be38bd09006fcf88c832 Mon Sep 17 00:00:00 2001 From: tydeu Date: Thu, 16 Jun 2022 17:25:41 -0400 Subject: [PATCH] chore: remove `lean-toolchain` from version agnostic tests --- test/50/foo/lean-toolchain | 1 - test/75/foo/lean-toolchain | 1 - 2 files changed, 2 deletions(-) delete mode 100644 test/50/foo/lean-toolchain delete mode 100644 test/75/foo/lean-toolchain diff --git a/test/50/foo/lean-toolchain b/test/50/foo/lean-toolchain deleted file mode 100644 index 03095f8168..0000000000 --- a/test/50/foo/lean-toolchain +++ /dev/null @@ -1 +0,0 @@ -leanprover/lean4:nightly-2022-06-14 diff --git a/test/75/foo/lean-toolchain b/test/75/foo/lean-toolchain deleted file mode 100644 index 03095f8168..0000000000 --- a/test/75/foo/lean-toolchain +++ /dev/null @@ -1 +0,0 @@ -leanprover/lean4:nightly-2022-06-14