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

Mpi is Sync #197

Closed
wants to merge 1 commit into from
Closed

Mpi is Sync #197

wants to merge 1 commit into from

Conversation

jethrogb
Copy link
Member

No description provided.

@zugzwang
Copy link
Contributor

The failed build is odd

@Taowyoo
Copy link
Collaborator

Taowyoo commented Oct 19, 2023

Close this old PR because of change of default branch to main.
See more:

Please reopen this if have further problems or you think this PR need to be rebased onto main (this is needed on mbedtls 2.28.X)

@Taowyoo Taowyoo closed this Oct 19, 2023
@Taowyoo Taowyoo deleted the jb/mpi-sync branch October 20, 2023 16:25
@Taowyoo Taowyoo restored the jb/mpi-sync branch October 27, 2023 16:49
@Taowyoo Taowyoo reopened this Oct 27, 2023
@Taowyoo Taowyoo changed the base branch from master to main October 27, 2023 16:54
@Taowyoo
Copy link
Collaborator

Taowyoo commented Oct 27, 2023

bors try

bors bot added a commit that referenced this pull request Oct 27, 2023
@bors
Try #197:
10d75db
@bors
Copy link
Contributor

bors bot commented Oct 27, 2023

try

Build failed:

@Taowyoo
Copy link
Collaborator

Taowyoo commented Oct 27, 2023

I am wondering if this PR still valid?
CC: @jethrogb @zugzwang

@Taowyoo Taowyoo requested a review from s-arash November 17, 2023 19:23
@Taowyoo Taowyoo closed this Dec 8, 2023
@Taowyoo Taowyoo mentioned this pull request Dec 19, 2023
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@mzohreva mzohreva Awaiting requested review from mzohreva

@zugzwang zugzwang Awaiting requested review from zugzwang

@s-arash s-arash Awaiting requested review from s-arash

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
@jethrogb @zugzwang @Taowyoo