Closed msprotz closed 5 years ago
this is probably just a call to fetch_kremlin_stable just like for fstar-ci
fetch_kremlin_stable
fstar-ci
see https://everestexpedition.slack.com/archives/C2CHMCYG1/p1506526247000032?thread_ts=1506517485.000346&cid=C2CHMCYG1
this is probably just a call to
fetch_kremlin_stable
just like forfstar-ci
see https://everestexpedition.slack.com/archives/C2CHMCYG1/p1506526247000032?thread_ts=1506517485.000346&cid=C2CHMCYG1