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

fix: nim-nightly #1238

Merged
merged 1 commit into from
May 9, 2024
Merged

fix: nim-nightly #1238

merged 1 commit into from
May 9, 2024

Conversation

madonuko
Copy link
Member

@madonuko madonuko commented May 9, 2024

No description provided.

@madonuko madonuko enabled auto-merge (squash) May 9, 2024 03:30
@madonuko madonuko requested a review from lleyton May 9, 2024 04:37
@madonuko madonuko merged commit 34bdd67 into frawhide May 9, 2024
4 checks passed
@madonuko madonuko deleted the mado/fix/nim-nightly branch May 9, 2024 04:42
@lleyton
Copy link
Member

lleyton commented May 9, 2024

backport needed?

@madonuko madonuko added bug Something isn't working sync-f38 sync-f40 labels May 9, 2024
raboneko pushed a commit that referenced this pull request May 9, 2024
(cherry picked from commit 34bdd67)
raboneko pushed a commit that referenced this pull request May 9, 2024
(cherry picked from commit 34bdd67)
raboneko pushed a commit that referenced this pull request May 9, 2024
(cherry picked from commit 34bdd67)
raboneko pushed a commit that referenced this pull request May 9, 2024
(cherry picked from commit 34bdd67)
@raboneko
Copy link
Member

raboneko commented May 9, 2024

💔 Some backports could not be created

Status Branch Result
f38
f39 An unhandled error occurred. Please see the logs for details
f40

Manual backport

To create the backport manually run:

backport --pr 1238

Questions ?

Please refer to the Backport tool documentation and see the Github Action logs for details

@raboneko
Copy link
Member

raboneko commented May 9, 2024

💚 All backports created successfully

Status Branch Result
f38
f39
f40

Questions ?

Please refer to the Backport tool documentation and see the Github Action logs for details

raboneko pushed a commit that referenced this pull request May 9, 2024
(cherry picked from commit 34bdd67)
raboneko pushed a commit that referenced this pull request May 9, 2024
(cherry picked from commit 34bdd67)
raboneko pushed a commit that referenced this pull request May 9, 2024
(cherry picked from commit 34bdd67)
@raboneko
Copy link
Member

raboneko commented May 9, 2024

💚 All backports created successfully

Status Branch Result
f39
f40

Questions ?

Please refer to the Backport tool documentation and see the Github Action logs for details

raboneko pushed a commit that referenced this pull request May 9, 2024
(cherry picked from commit 34bdd67)
@raboneko
Copy link
Member

raboneko commented May 9, 2024

💚 All backports created successfully

Status Branch Result
f39
f40

Questions ?

Please refer to the Backport tool documentation and see the Github Action logs for details

madonuko added a commit that referenced this pull request May 9, 2024
(cherry picked from commit 34bdd67)

Co-authored-by: madomado <[email protected]>
madonuko added a commit that referenced this pull request May 9, 2024
(cherry picked from commit 34bdd67)

Co-authored-by: madomado <[email protected]>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Something isn't working sync-f40
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants