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

implement the rounding intrinsics using apfloat rounding #3256

Merged
merged 3 commits into from Jan 7, 2024

Conversation

RalfJung
Copy link
Member

@RalfJung RalfJung commented Jan 6, 2024

No reason to use host floats for these. Also merge two files that were both testing various float things.

@RalfJung
Copy link
Member Author

RalfJung commented Jan 6, 2024

@bors r+

@bors
Copy link
Collaborator

bors commented Jan 6, 2024

📌 Commit 88dd5d9 has been approved by RalfJung

It is now in the queue for this repository.

@bors
Copy link
Collaborator

bors commented Jan 6, 2024

⌛ Testing commit 88dd5d9 with merge ccab50d...

bors added a commit that referenced this pull request Jan 6, 2024
implement the rounding intrinsics using apfloat rounding

No reason to use host floats for these. Also merge two files that were both testing various float things.
@bors
Copy link
Collaborator

bors commented Jan 6, 2024

💔 Test failed - checks-actions

@RalfJung
Copy link
Member Author

RalfJung commented Jan 6, 2024

@bors retry

@bors
Copy link
Collaborator

bors commented Jan 6, 2024

⌛ Testing commit 88dd5d9 with merge b7edb79...

bors added a commit that referenced this pull request Jan 6, 2024
implement the rounding intrinsics using apfloat rounding

No reason to use host floats for these. Also merge two files that were both testing various float things.
@bors
Copy link
Collaborator

bors commented Jan 6, 2024

💔 Test failed - checks-actions

@RalfJung
Copy link
Member Author

RalfJung commented Jan 6, 2024

@bors retry

bors added a commit that referenced this pull request Jan 6, 2024
implement the rounding intrinsics using apfloat rounding

No reason to use host floats for these. Also merge two files that were both testing various float things.
@bors
Copy link
Collaborator

bors commented Jan 6, 2024

⌛ Testing commit 88dd5d9 with merge 81e8ff9...

@bors
Copy link
Collaborator

bors commented Jan 6, 2024

💔 Test failed - checks-actions

@RalfJung
Copy link
Member Author

RalfJung commented Jan 6, 2024

@bors retry

@bors
Copy link
Collaborator

bors commented Jan 6, 2024

⌛ Testing commit 88dd5d9 with merge 435422f...

bors added a commit that referenced this pull request Jan 6, 2024
implement the rounding intrinsics using apfloat rounding

No reason to use host floats for these. Also merge two files that were both testing various float things.
@bors
Copy link
Collaborator

bors commented Jan 6, 2024

💔 Test failed - checks-actions

@RalfJung
Copy link
Member Author

RalfJung commented Jan 6, 2024 via email

@bors
Copy link
Collaborator

bors commented Jan 6, 2024

⌛ Testing commit 88dd5d9 with merge b87e1f6...

bors added a commit that referenced this pull request Jan 6, 2024
implement the rounding intrinsics using apfloat rounding

No reason to use host floats for these. Also merge two files that were both testing various float things.
@bors
Copy link
Collaborator

bors commented Jan 6, 2024

💔 Test failed - checks-actions

@RalfJung
Copy link
Member Author

RalfJung commented Jan 7, 2024

@bors retry

@bors
Copy link
Collaborator

bors commented Jan 7, 2024

⌛ Testing commit 88dd5d9 with merge 4a88eeb...

bors added a commit that referenced this pull request Jan 7, 2024
implement the rounding intrinsics using apfloat rounding

No reason to use host floats for these. Also merge two files that were both testing various float things.
@bors
Copy link
Collaborator

bors commented Jan 7, 2024

💔 Test failed - checks-actions

@RalfJung
Copy link
Member Author

RalfJung commented Jan 7, 2024

@bors retry

@bors
Copy link
Collaborator

bors commented Jan 7, 2024

⌛ Testing commit 88dd5d9 with merge 842933c...

@bors
Copy link
Collaborator

bors commented Jan 7, 2024

☀️ Test successful - checks-actions
Approved by: RalfJung
Pushing 842933c to master...

@bors bors merged commit 842933c into rust-lang:master Jan 7, 2024
7 of 8 checks passed
@RalfJung RalfJung deleted the rounding branch January 7, 2024 16:26
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.

None yet

2 participants