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: faster chain polling on ci #1925

Merged
merged 1 commit into from
May 31, 2021
Merged

ci: faster chain polling on ci #1925

merged 1 commit into from
May 31, 2021

Conversation

acud
Copy link
Member

@acud acud commented May 31, 2021 •
edited
Loading

This change is Reviewable

@acud acud self-assigned this May 31, 2021
@acud acud added the ready for review The PR is ready to be reviewed label May 31, 2021
@acud acud merged commit b3aeab2 into master May 31, 2021
@acud acud deleted the faster-ci-polling branch May 31, 2021 13:21
@cppfuns cppfuns mentioned this pull request Jun 15, 2021
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@aloknerurkar aloknerurkar aloknerurkar approved these changes

@istae istae istae approved these changes

Assignees

@acud acud

Labels
pull-request ready for review The PR is ready to be reviewed
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
3 participants
@acud @aloknerurkar @istae