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

Fix CMake linting #40

Merged
merged 1 commit into from
Oct 11, 2023
Merged

Fix CMake linting #40

merged 1 commit into from
Oct 11, 2023

Conversation

hhenry01
Copy link
Member

@hhenry01 hhenry01 commented Oct 11, 2023 •
edited
Loading

Description

  • The linting CI did not catch the error because it was bugged. The bugfix is blocked by this linting mistake.

Verification

  • [ ]

Resources

@hhenry01 hhenry01 added the bug Something isn't working label Oct 11, 2023
@hhenry01 hhenry01 enabled auto-merge (squash) October 11, 2023 01:52
@hhenry01 hhenry01 merged commit 757ee97 into main Oct 11, 2023
8 checks passed
@hhenry01 hhenry01 deleted the fix_cmake_linting branch October 11, 2023 02:01
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
bug Something isn't working
Projects
None yet
Milestone
No milestone
Development

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