mit-plv / bedrock2

A work-in-progress language and compiler for verified low-level programming

Home Page:http://adam.chlipala.net/papers/LightbulbPLDI21/

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Update tested is failing with rate limits

JasonGross opened this issue · comments

https://github.com/mit-plv/bedrock2/actions/runs/3865972183/jobs/6589796901#step:5:9
Error: Invalid repo, token or network issue!
{"message":"API rate limit exceeded for 4.227.0.209. (But here's the good news: Authenticated requests get a higher rate limit. Check out the documentation for more details.)","documentation_url":"https://docs.github.com/rest/overview/resources-in-the-rest-api#rate-limiting"}

Oh noo... So I tried a quick fix, let's hope it's as easy as this, we'll see tomorrow when the scripts have run again whether it works.

looks like it's fixed in attempt no 2