2 Commits (6779486f762d272bdf77a8f7ffc1edaa73846f0f)

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