From bffe161104e2666ceaa569bd2e4767726e2ec843 Mon Sep 17 00:00:00 2001
From: Hong Ge <3279477+yebai@users.noreply.github.com>
Date: Wed, 8 Nov 2023 14:54:28 +0000
Subject: [PATCH] Delete bors.toml

---
 bors.toml | 18 ------------------
 1 file changed, 18 deletions(-)
 delete mode 100644 bors.toml

diff --git a/bors.toml b/bors.toml
deleted file mode 100644
index 7a44aea..0000000
--- a/bors.toml
+++ /dev/null
@@ -1,18 +0,0 @@
-status = [
-  "Julia 1.% - ubuntu-latest - x64",
-  "Julia 1.% - macOS-latest - x64",
-  "Julia 1.% - windows-latest - x64",
-  "Julia 1 - ubuntu-latest - x64",
-  "Julia 1 - macOS-latest - x64",
-  "Julia 1 - windows-latest - x64",
-  "DynamicPPL.jl",
-  "format"
-]
-delete_merged_branches = true
-# Require at least on approval of a project member.
-required_approvals = 1
-# Squash commits before merging.
-use_squash_merge = true
-# Uncomment this to use a two hour timeout.
-# The default is one hour.
-timeout_sec = 7200
\ No newline at end of file