Giters

dapphub / k-dss

formal verification of multicollateral dai in the K framework

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

CI: doesn't always report success to Github

livnev opened this issue · comments

commented

It looks like when the CI build of k-dss succeeds it doesn't get reported back to Github so we never get the ✅ . Instead we have the yellow circle with buildbot/k-dss Expected — Waiting for status to be reported.