diff options
author | 2020-06-11 18:50:11 +0200 | |
---|---|---|
committer | 2020-06-11 18:50:11 +0200 | |
commit | 81da47c2f7bf79e62e57a5c9e08dc2d1ebf92f3a (patch) | |
tree | a21df5e09aeb8ef7f381155f306c4e8e50e010fd | |
parent | ac0e6874314f77013beaec8d010d9f132e486c8c (diff) | |
parent | d77628ea0c2c9cabae8a1b83da60b9608e582841 (diff) | |
download | rtic-81da47c2f7bf79e62e57a5c9e08dc2d1ebf92f3a.tar.gz rtic-81da47c2f7bf79e62e57a5c9e08dc2d1ebf92f3a.tar.zst rtic-81da47c2f7bf79e62e57a5c9e08dc2d1ebf92f3a.zip |
Merge pull request #323 from rtfm-rs/bors_to_gha
Moved bors to GHA
-rw-r--r-- | .github/bors.toml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/bors.toml b/.github/bors.toml index 97254731..a7ba1aa2 100644 --- a/.github/bors.toml +++ b/.github/bors.toml @@ -1,5 +1,5 @@ block_labels = ["S-blocked"] delete_merged_branches = true status = [ - "continuous-integration/travis-ci/push", + "Build", ] |