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.

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

clean up longruns #2443

Merged
merged 1 commit into from
Dec 19, 2023
Merged

clean up longruns #2443

merged 1 commit into from
Dec 19, 2023

Conversation

szy21
Copy link
Member

@szy21 szy21 commented Dec 18, 2023

Purpose

Cleans up the longrun pipeline:

cc @akshaysridhar

To-do

Content


  • I have read and checked the items on the review checklist.

@szy21 szy21 requested a review from akshaysridhar December 18, 2023 19:41
@szy21 szy21 force-pushed the zs/longrun branch 2 times, most recently from a4737c4 to 9566cda Compare December 19, 2023 00:58
@szy21 szy21 enabled auto-merge December 19, 2023 00:58
@szy21 szy21 added this pull request to the merge queue Dec 19, 2023
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks Dec 19, 2023
@szy21 szy21 added this pull request to the merge queue Dec 19, 2023
@szy21 szy21 removed this pull request from the merge queue due to a manual request Dec 19, 2023
@szy21 szy21 enabled auto-merge December 19, 2023 05:31
@szy21 szy21 added this pull request to the merge queue Dec 19, 2023
Merged via the queue into main with commit 4dc8434 Dec 19, 2023
10 checks passed
@szy21 szy21 deleted the zs/longrun branch December 19, 2023 07:18
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants