2 Commits (7f63b7689efcb78a6efecc8056c5bff7a7b71b6a)

Author SHA1 Message Date
Philipp Hoenisch 5fb93bbee9
Update bors file to include new ci targets 3 years ago
Thomas Eizinger b3b6cc97bb
Configure bors for merging pull-requests 3 years ago