Skip to content

hurd: Complete C API interface#3428

Merged
bors merged 1 commit intorust-lang:mainfrom
sthibaul:main
Nov 9, 2023
Merged

hurd: Complete C API interface#3428
bors merged 1 commit intorust-lang:mainfrom
sthibaul:main

Conversation

@sthibaul
Copy link
Copy Markdown
Contributor

@sthibaul sthibaul commented Nov 9, 2023

This aligns it on what can be found for linux.

This aligns it on what can be found for linux.
@rustbot
Copy link
Copy Markdown
Collaborator

rustbot commented Nov 9, 2023

r? @JohnTitor

(rustbot has picked a reviewer for you, use r? to override)

@JohnTitor
Copy link
Copy Markdown
Member

@bors r+

@bors
Copy link
Copy Markdown
Contributor

bors commented Nov 9, 2023

📌 Commit c72c68c has been approved by JohnTitor

It is now in the queue for this repository.

@bors
Copy link
Copy Markdown
Contributor

bors commented Nov 9, 2023

⌛ Testing commit c72c68c with merge 7cfdc39...

bors added a commit that referenced this pull request Nov 9, 2023
hurd: Complete C API interface

This aligns it on what can be found for linux.
@bors
Copy link
Copy Markdown
Contributor

bors commented Nov 9, 2023

💥 Test timed out

@JohnTitor
Copy link
Copy Markdown
Member

@bors retry

@bors
Copy link
Copy Markdown
Contributor

bors commented Nov 9, 2023

⌛ Testing commit c72c68c with merge 90cb774...

@bors
Copy link
Copy Markdown
Contributor

bors commented Nov 9, 2023

☀️ Test successful - checks-actions, checks-cirrus-freebsd-12, checks-cirrus-freebsd-13, checks-cirrus-freebsd-14
Approved by: JohnTitor
Pushing 90cb774 to main...

@bors bors merged commit 90cb774 into rust-lang:main Nov 9, 2023
@bors bors mentioned this pull request Nov 9, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants