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