Skip to content

ci: tidy workflows#137

Merged
dlvhdr merged 2 commits into
mainfrom
dlvhdr/remove-lint-wf
May 15, 2026
Merged

ci: tidy workflows#137
dlvhdr merged 2 commits into
mainfrom
dlvhdr/remove-lint-wf

Conversation

@dlvhdr
Copy link
Copy Markdown
Owner

@dlvhdr dlvhdr commented May 15, 2026

Summary

How Did You Test this Change?

Images/Videos

@dlvhdr dlvhdr marked this pull request as ready for review May 15, 2026 16:46
@dlvhdr dlvhdr merged commit e890e04 into main May 15, 2026
3 checks passed
@dlvhdr dlvhdr deleted the dlvhdr/remove-lint-wf branch May 15, 2026 16:46
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.

1 participant