Skip to content

ci(core): run sp1 backend integration test on the merge queue #2607

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
Merged
merged 5 commits into from
Apr 28, 2025
Merged

ci(core): run sp1 backend integration test on the merge queue #2607

merged 5 commits into from
Apr 28, 2025

Conversation

jrchatruc
Copy link
Collaborator

Motivation

Description

Closes #issue_number

@jrchatruc jrchatruc requested a review from a team as a code owner April 25, 2025 19:05
@mpaulucci mpaulucci changed the title chore(core): run sp1 backend integration test on the merge queue ci(core): run sp1 backend integration test on the merge queue Apr 25, 2025
@ilitteri ilitteri enabled auto-merge April 25, 2025 19:19
@ilitteri ilitteri added this pull request to the merge queue Apr 25, 2025
github-merge-queue bot pushed a commit that referenced this pull request Apr 25, 2025
@jrchatruc
ci(core): run sp1 backend integration test on the merge queue (#2607)
bdcc550 
**Motivation**

<!-- Why does this pull request exist? What are its goals? -->

**Description**

<!-- A clear and concise general description of the changes this PR
introduces -->

<!-- Link to issues: Resolves #111, Resolves #222 -->

Closes #issue_number
@jrchatruc jrchatruc removed this pull request from the merge queue due to a manual request Apr 25, 2025
@jrchatruc jrchatruc added this pull request to the merge queue Apr 25, 2025
@jrchatruc jrchatruc removed this pull request from the merge queue due to a manual request Apr 25, 2025
@jrchatruc jrchatruc added this pull request to the merge queue Apr 25, 2025
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks Apr 25, 2025
@jrchatruc jrchatruc enabled auto-merge April 28, 2025 15:21
@jrchatruc jrchatruc disabled auto-merge April 28, 2025 15:21
@jrchatruc jrchatruc added this pull request to the merge queue Apr 28, 2025
Merged via the queue into main with commit e0d7522 Apr 28, 2025
21 checks passed
@jrchatruc jrchatruc deleted the run-sp1-integration-test-on-merge-queue branch April 28, 2025 16:11
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@mpaulucci mpaulucci mpaulucci approved these changes

@ilitteri ilitteri ilitteri approved these changes

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

Successfully merging this pull request may close these issues.
3 participants
@jrchatruc @mpaulucci @ilitteri