Skip to content

Add linting on pull request#35

Merged
m-bull merged 2 commits intomainfrom
pr-lint
Jun 24, 2025
Merged

Add linting on pull request#35
m-bull merged 2 commits intomainfrom
pr-lint

Conversation

@seunghun1ee
Copy link
Contributor

No description provided.

@seunghun1ee seunghun1ee self-assigned this May 21, 2025
@seunghun1ee seunghun1ee force-pushed the pr-lint branch 2 times, most recently from 34142be to ace2919 Compare May 21, 2025 16:10
@seunghun1ee seunghun1ee marked this pull request as ready for review May 21, 2025 16:17
@seunghun1ee seunghun1ee requested a review from m-bull May 21, 2025 16:18
@maxstack maxstack force-pushed the pr-lint branch 2 times, most recently from b27289c to 593e77f Compare June 18, 2025 14:56
@m-bull
Copy link
Contributor

m-bull commented Jun 24, 2025

Tested working in an Azimuth dev environment

@m-bull m-bull merged commit 0ba0de2 into main Jun 24, 2025
12 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants