From 7e96f344bea829f9ae0fccd22830d4f3f0eb295e Mon Sep 17 00:00:00 2001 From: Lucas Schwiderski Date: Sun, 14 Aug 2022 17:37:57 +0200 Subject: [PATCH] chore: Remove unused Bors config --- bors.toml | 10 ---------- 1 file changed, 10 deletions(-) delete mode 100644 bors.toml diff --git a/bors.toml b/bors.toml deleted file mode 100644 index 85d5802..0000000 --- a/bors.toml +++ /dev/null @@ -1,10 +0,0 @@ -status = [ - "check", - "test (5.1)", - "test (5.2)", - "test (5.3)", - "test (luajit)", - "rock (5.1)", - "rock (5.2)", - "rock (5.3)", -]