jjs-dev / jjs

JJS Judging system
12 stars 3 forks source link

Remove some integrations from devtool #359

Closed MikailBag closed 4 years ago

MikailBag commented 4 years ago

bors r+

bors[bot] commented 4 years ago

Canceled.

MikailBag commented 4 years ago

bors r+

bors[bot] commented 4 years ago

Build failed:

MikailBag commented 4 years ago

bors r+

bors[bot] commented 4 years ago

Build succeeded: