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

ci: rename ccheck to lint #124

Merged
merged 1 commit into from
Jan 21, 2023
Merged

ci: rename ccheck to lint #124

merged 1 commit into from
Jan 21, 2023

Conversation

alfredh
Copy link
Contributor

@alfredh alfredh commented Jan 21, 2023

No description provided.

@alfredh alfredh merged commit f8a6ec8 into main Jan 21, 2023
@alfredh alfredh deleted the ci_lint branch January 21, 2023 15:08
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant