Update `gradio-space-ci` and pin version

#515
by Wauplin HF staff - opened
Open LLM Leaderboard org

This PR does 2 things:

  • Pin the version of gradio-space-ci that is installed. Version is a tag revision of https://huggingface.co/spaces/Wauplin/gradio-space-ci repository. Latest version is 0.1.2. The goal is to avoid breaking this Space if I push changes to the gradio-space-ci one.
  • In 0.1.2, I introduced a "recovery mode" that loop through all PRs at startup and check if it is synced correctly. This should avoid having PRs out of sync (e.g. open but without an ephemeral Space or closed but with a pending ephemeral Space). Currently PRs can be out of sync if a webhook payload is sent while the Space is down/restarting/rebuilding.
Open LLM Leaderboard org

Following the creation of this PR, an ephemeral Space HuggingFaceH4/open_llm_leaderboard-ci-pr-515 has been started. Any changes pushed to this PR will be synced with the test Space.
Since this PR has been created by a trusted author, the ephemeral Space has been configured with the correct hardware, storage, and secrets.
(This is an automated message.)

Open LLM Leaderboard org

LGTM, thanks a lot!

clefourrier changed pull request status to merged
Open LLM Leaderboard org

PR is now merged/closed. The ephemeral Space has been deleted.
(This is an automated message.)

Sign up or log in to comment