16 May
2018
16 May
'18
2:31 p.m.
Hello folks, this is a notice that CI on github is down, and we are aware of the issue. We'll try to fix it ASAP (no estimates, sorry)
Thank you for your understanding, Marek