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

fix boojum_cuda naming #37

Merged
merged 1 commit into from
Aug 8, 2024
Merged

fix boojum_cuda naming #37

merged 1 commit into from
Aug 8, 2024

Conversation

robik75
Copy link
Member

@robik75 robik75 commented Aug 8, 2024 •
edited
Loading

What ❔

This PR fixes some leftover naming issues from remaining from #36 .

Checklist

  • PR title corresponds to the body of PR (we generate changelog entries from PRs).
  • Code has been formatted via cargo fmt and cargo clippy.

@robik75 robik75 requested a review from mcarilli as a code owner August 8, 2024 07:14
@robik75 robik75 self-assigned this Aug 8, 2024
@robik75 robik75 merged commit f12d125 into main Aug 8, 2024
6 checks passed
@robik75 robik75 deleted the rr-naming-fix branch August 8, 2024 07:39
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers

@mcarilli mcarilli Awaiting requested review from mcarilli mcarilli is a code owner

Assignees

@robik75 robik75

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@robik75