Skip to content
This repository has been archived by the owner on Jul 24, 2024. It is now read-only.

[Merged by Bors] - feat(measure_theory/measure/integral): integral over an encodable type #9191

Closed
wants to merge 2 commits into from
Closed

[Merged by Bors] - feat(measure_theory/measure/integral): integral over an encodable type #9191

wants to merge 2 commits into from

Conversation

urkud
Copy link
Member

@urkud urkud commented Sep 13, 2021

Open in Gitpod

@urkud urkud added the awaiting-review The author would like community review of the PR label Sep 13, 2021
@sgouezel
Copy link
Collaborator

bors r+

@github-actions github-actions bot added ready-to-merge All that is left is for bors to build and merge this PR. (Remember you need to say `bors r+`.) and removed awaiting-review The author would like community review of the PR labels Sep 14, 2021
bors bot pushed a commit that referenced this pull request Sep 14, 2021
@urkud
feat(measure_theory/measure/integral): integral over an encodable type (
2d57545 
#9191)
@bors
Copy link

bors bot commented Sep 14, 2021

Pull request successfully merged into master.

Build succeeded:

@bors bors bot changed the title feat(measure_theory/measure/integral): integral over an encodable type [Merged by Bors] - feat(measure_theory/measure/integral): integral over an encodable type Sep 14, 2021
@bors bors bot closed this Sep 14, 2021
@bors bors bot deleted the lintegral-encodable branch September 14, 2021 09:26
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers
No reviews
Assignees
No one assigned
Labels
ready-to-merge All that is left is for bors to build and merge this PR. (Remember you need to say `bors r+`.)
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
2 participants
@urkud @sgouezel