Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

ci: Run rate limit waiter script in Prover CI only from forks #212

Merged
merged 1 commit into from
Oct 12, 2023
Merged

ci: Run rate limit waiter script in Prover CI only from forks #212

merged 1 commit into from
Oct 12, 2023

Conversation

hatemosphere
Copy link
Member

What ❔

Subj

Why ❔

We don't need to call APi when env ERA_BELLMAN_CUDA_RELEASE is available and it's always available for internal contributors

Checklist

  • PR title corresponds to the body of PR (we generate changelog entries from PRs).
  • Tests for the changes have been added / updated.
  • Documentation comments have been added / updated.
  • Code has been formatted via zk fmt and zk lint.

@hatemosphere hatemosphere requested a review from a team as a code owner October 12, 2023 16:04
@hatemosphere hatemosphere added this pull request to the merge queue Oct 12, 2023
Merged via the queue into main with commit 8bdee89 Oct 12, 2023
20 checks passed
@hatemosphere hatemosphere deleted the wait-for-non-rate-limited-only-in-forks branch October 12, 2023 16:47
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@artmakh artmakh artmakh approved these changes

@yorik yorik Awaiting requested review from yorik yorik is a code owner automatically assigned from matter-labs/devops

@alexandrst88 alexandrst88 Awaiting requested review from alexandrst88 alexandrst88 is a code owner automatically assigned from matter-labs/devops

@otani88 otani88 Awaiting requested review from otani88 otani88 is a code owner automatically assigned from matter-labs/devops

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@hatemosphere @artmakh