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

Layout array renaming #672

Merged
merged 8 commits into from
Nov 29, 2023
Merged

Layout array renaming #672

merged 8 commits into from
Nov 29, 2023

Conversation

GernotMaier
Copy link
Contributor

This is a follow up to #428 to change the term LayoutArray to ArrayLayout through the code (also layout_array to array_layout).

There is zero functional change, this is search and replace only. So I think that no code review is required (as long as all tests pass).

@GernotMaier GernotMaier self-assigned this Nov 10, 2023
Copy link

codecov bot commented Nov 10, 2023

Codecov Report

All modified and coverable lines are covered by tests ✅

Comparison is base (217097c) 81.93% compared to head (d5e56bc) 81.93%.
Report is 3 commits behind head on main.

Additional details and impacted files
@@           Coverage Diff           @@
##             main     #672   +/-   ##
=======================================
  Coverage   81.93%   81.93%           
=======================================
  Files          40       40           
  Lines        6127     6127           
=======================================
  Hits         5020     5020           
  Misses       1107     1107           

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

@GernotMaier GernotMaier marked this pull request as ready for review November 10, 2023 12:44
@GernotMaier GernotMaier added the Less than 15-min Pull Request Review This should be a short pull request with an estimated review time of less than 15 min label Nov 22, 2023
Copy link
Contributor

@orelgueta orelgueta left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Two files which I wonder if are included by accident.

rnda-docker.sh Outdated
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Should this file be included in this PR (or in general)?

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

No!!

rnda.sh Outdated
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Should this file be included in this PR (or in general)?

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

No!!

@orelgueta
Copy link
Contributor

Also, there are conflicts apparently, probably cause it took me so long to review this PR...

@GernotMaier
Copy link
Contributor Author

Fixed both things - remove the accidentally committed shell scripts and merged main into this branch.

Copy link
Contributor

@orelgueta orelgueta left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Once tests pass we can merge.

@GernotMaier GernotMaier merged commit 0516a3e into main Nov 29, 2023
9 checks passed
@GernotMaier GernotMaier deleted the layout_array_renaming branch November 29, 2023 17:16
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Less than 15-min Pull Request Review This should be a short pull request with an estimated review time of less than 15 min
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants