diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2023-04-08 07:58:46 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-04-08 07:58:46 +0000 |
commit | 670d71f874e56716c49c22d57864a63b799669c8 (patch) | |
tree | b2eafa64fa746dbe0e41a284fb9f133a2578b824 /bors.toml | |
parent | 9f32393b0b64e7618d7cf017c37490d6662cff5a (diff) | |
parent | 3b84ac41f870292715b5743f6c86696abf7908d7 (diff) |
Merge #1
1: Add CI setup with github actions r=matthiasbeyer a=matthiasbeyer
Co-authored-by: Matthias Beyer <mail@beyermatthias.de>
Co-authored-by: bors[bot] <26634292+bors[bot]@users.noreply.github.com>
Diffstat (limited to 'bors.toml')
-rw-r--r-- | bors.toml | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/bors.toml b/bors.toml new file mode 100644 index 0000000..e0d8180 --- /dev/null +++ b/bors.toml @@ -0,0 +1,10 @@ +# Must pass on the merge with the master branch +status = [ + "CI" +] + +cut_body_after = "<details>" + +delete_merged_branches = true + + |