aboutsummaryrefslogtreecommitdiff
path: root/.github/bors.toml
AgeCommit message (Expand)Author
2023-06-30CI: Remove BorsHenrik Tjäder
2020-06-11Testing CIEmil Fresk
2020-06-11Moved bors to GHAEmil Fresk
2019-04-21bors: do not merge PRs labeled S-blockedJorge Aparicio
2018-11-03v0.4.0Jorge Aparicio
2018-08-27v0.3.4Jorge Aparicio