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

functionality to expose page utilization at the Julia level #113

Merged
merged 1 commit into from
Dec 6, 2023
Merged

functionality to expose page utilization at the Julia level #113

merged 1 commit into from
Dec 6, 2023

Conversation

d-netto
Copy link
Member

@d-netto d-netto commented Dec 4, 2023 •
edited
Loading

PR Description

Backports JuliaLang#52390.

Checklist

Requirements for merging:

@github-actions github-actions bot added port-to-v1.10 This change should apply to Julia v1.10 builds port-to-master This change should apply to all future Julia builds port-to-v1.9 This change should apply to Julia v1.9 builds labels Dec 4, 2023
@d-netto d-netto removed the port-to-master This change should apply to all future Julia builds label Dec 4, 2023
@d-netto d-netto requested a review from kpamnany December 4, 2023 17:06
@d-netto d-netto force-pushed the dcn-page-utilization-at-julia-level branch 3 times, most recently from 3826b8c to a35bf64 Compare December 4, 2023 18:31
@d-netto d-netto force-pushed the dcn-page-utilization-at-julia-level branch from a35bf64 to 681ce74 Compare December 5, 2023 18:58
@d-netto d-netto merged commit e1c38fe into v1.9.2+RAI Dec 6, 2023
2 checks passed
@d-netto d-netto deleted the dcn-page-utilization-at-julia-level branch December 6, 2023 12:57
d-netto added a commit that referenced this pull request Dec 7, 2023
@d-netto
functionality to expose page utilization at the julia level (#113)
63b6e6c
@Drvi Drvi added port-to-v1.9 This change should apply to Julia v1.9 builds and removed port-to-v1.10 This change should apply to Julia v1.10 builds port-to-v1.9 This change should apply to Julia v1.9 builds labels Dec 7, 2023
d-netto added a commit that referenced this pull request Dec 7, 2023
@d-netto
functionality to expose page utilization at the julia level (#113)
62af4b5
Drvi pushed a commit that referenced this pull request Dec 7, 2023
@d-netto @Drvi
functionality to expose page utilization at the julia level (#113)
8e14aa3
@Drvi
Copy link
Member

Drvi commented Dec 7, 2023

Also includes: JuliaLang#52406

Drvi pushed a commit that referenced this pull request Dec 7, 2023
@d-netto @Drvi
functionality to expose page utilization at the julia level (#113)
d17cfc7
@Drvi Drvi removed the port-to-v1.9 This change should apply to Julia v1.9 builds label Dec 7, 2023
DelveCI pushed a commit that referenced this pull request Dec 13, 2023
@d-netto
functionality to expose page utilization at the julia level (#113)
5592f68
DelveCI pushed a commit that referenced this pull request Dec 17, 2023
@d-netto
functionality to expose page utilization at the julia level (#113)
d50ef5c
DelveCI pushed a commit that referenced this pull request Dec 18, 2023
@d-netto
functionality to expose page utilization at the julia level (#113)
13d715f
DelveCI pushed a commit that referenced this pull request Dec 19, 2023
@d-netto
functionality to expose page utilization at the julia level (#113)
924f89f
DelveCI pushed a commit that referenced this pull request Dec 23, 2023
@d-netto
functionality to expose page utilization at the julia level (#113)
7589122
DelveCI pushed a commit that referenced this pull request Dec 24, 2023
@d-netto
functionality to expose page utilization at the julia level (#113)
f7fb0af
DelveCI pushed a commit that referenced this pull request Dec 25, 2023
@d-netto
functionality to expose page utilization at the julia level (#113)
ecd9796
DelveCI pushed a commit that referenced this pull request Dec 26, 2023
@d-netto
functionality to expose page utilization at the julia level (#113)
adeb339
DelveCI pushed a commit that referenced this pull request Jan 17, 2024
@d-netto
functionality to expose page utilization at the julia level (#113)
a05f9bb
DelveCI pushed a commit that referenced this pull request Jan 18, 2024
@d-netto
functionality to expose page utilization at the julia level (#113)
6b14707
DelveCI pushed a commit that referenced this pull request Jan 23, 2024
@d-netto
functionality to expose page utilization at the julia level (#113)
237f838
DelveCI pushed a commit that referenced this pull request Jan 24, 2024
@d-netto
functionality to expose page utilization at the julia level (#113)
6134227
DelveCI pushed a commit that referenced this pull request Jan 25, 2024
@d-netto
functionality to expose page utilization at the julia level (#113)
2874504
DelveCI pushed a commit that referenced this pull request Jan 27, 2024
@d-netto
functionality to expose page utilization at the julia level (#113)
76381fc
DelveCI pushed a commit that referenced this pull request Jan 30, 2024
@d-netto
functionality to expose page utilization at the julia level (#113)
6e745ff
DelveCI pushed a commit that referenced this pull request Jan 31, 2024
@d-netto
functionality to expose page utilization at the julia level (#113)
ca74109
DelveCI pushed a commit that referenced this pull request Feb 1, 2024
@d-netto
functionality to expose page utilization at the julia level (#113)
60a9744
DelveCI pushed a commit that referenced this pull request Feb 6, 2024
@d-netto
functionality to expose page utilization at the julia level (#113)
c89e441
DelveCI pushed a commit that referenced this pull request Feb 7, 2024
@d-netto
functionality to expose page utilization at the julia level (#113)
f8bc36b
DelveCI pushed a commit that referenced this pull request Feb 14, 2024
@d-netto
functionality to expose page utilization at the julia level (#113)
53a8c21
DelveCI pushed a commit that referenced this pull request Feb 21, 2024
@d-netto
functionality to expose page utilization at the julia level (#113)
7634626
DelveCI pushed a commit that referenced this pull request Feb 22, 2024
@d-netto
functionality to expose page utilization at the julia level (#113)
ebd881b
Drvi pushed a commit that referenced this pull request Feb 28, 2024
@d-netto @Drvi
functionality to expose page utilization at the julia level (#113)
4aa96c0
DelveCI pushed a commit that referenced this pull request Mar 1, 2024
@d-netto
functionality to expose page utilization at the julia level (#113)
361f3ce
DelveCI pushed a commit that referenced this pull request Mar 13, 2024
@d-netto
functionality to expose page utilization at the julia level (#113)
ffaa222
Drvi pushed a commit that referenced this pull request Apr 3, 2024
@d-netto @Drvi
functionality to expose page utilization at the julia level (#113)
0e198fe
d-netto added a commit that referenced this pull request Apr 16, 2024
@d-netto
functionality to expose page utilization at the julia level (#113)
51f25ed
DelveCI pushed a commit that referenced this pull request Apr 23, 2024
@d-netto
functionality to expose page utilization at the julia level (#113)
b60d530
DelveCI pushed a commit that referenced this pull request Apr 24, 2024
@d-netto
functionality to expose page utilization at the julia level (#113)
163ae7f
DelveCI pushed a commit that referenced this pull request Apr 30, 2024
@d-netto
functionality to expose page utilization at the julia level (#113)
d660c5c
DelveCI pushed a commit that referenced this pull request Apr 30, 2024
@d-netto
functionality to expose page utilization at the julia level (#113)
726ef0e
DelveCI pushed a commit that referenced this pull request May 2, 2024
@d-netto
functionality to expose page utilization at the julia level (#113)
02b86ba
DelveCI pushed a commit that referenced this pull request May 9, 2024
@d-netto
functionality to expose page utilization at the julia level (#113)
be8cb3a
DelveCI pushed a commit that referenced this pull request May 19, 2024
@d-netto
functionality to expose page utilization at the julia level (#113)
fed6d2b
DelveCI pushed a commit that referenced this pull request May 26, 2024
@d-netto
functionality to expose page utilization at the julia level (#113)
cfd59c6
DelveCI pushed a commit that referenced this pull request May 28, 2024
@d-netto
functionality to expose page utilization at the julia level (#113)
8f3cd11
DelveCI pushed a commit that referenced this pull request May 29, 2024
@d-netto
functionality to expose page utilization at the julia level (#113)
54db887
Drvi pushed a commit that referenced this pull request Jun 7, 2024
@d-netto @Drvi
functionality to expose page utilization at the julia level (#113)
7ea16bd
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@kpamnany kpamnany kpamnany approved these changes

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
@d-netto @Drvi @kpamnany