search

lean-dojo / ReProver

Retrieval-Augmented Theorem Provers for Lean
https://leandojo.org
MIT License
208 stars 44 forks source link

what is the Request GET /repos/facebookresearch/miniF2F failed with 403: rate limit exceeded #30

Closed irene622 closed 10 months ago

irene622 commented 10 months ago

I have the issue when run the prover/evaluate.py.

Here is the message.

Screenshot 2023-10-24 at 4 45 42 PM

I run in AWS EC2.

irene622 commented 10 months ago

I solve it! I do export GITHUB_ACCESS_TOKEN.