tools/go-cuckoo
1
0
Fork 0
Code Issues Pull Requests Actions Releases 2 Wiki Activity

ci: add lint makefile job #5

Merged
mvhutz merged 2 commits from ci/lint-makefile-job into main 2026-03-19 00:24:25 +00:00
Conversation 0 Commits 2 Files Changed 1 +16
mvhutz commented 2026-03-19 00:20:21 +00:00
Owner
Copy Link

Currently, there is no CI job to lint the Makefile. This adds one.

Currently, there is no CI job to lint the Makefile. This adds one.
mvhutz added 1 commit 2026-03-19 00:20:21 +00:00
ci: add lint makefile job
All checks were successful
CI / Lint Makefile (pull_request) Successful in 22s
Details
CI / Go Lint (pull_request) Successful in 16s
Details
CI / Unit Tests (pull_request) Successful in 12s
Details
CI / Mutation Tests (pull_request) Successful in 36s
Details
CI / Fuzz Tests (pull_request) Successful in 55s
Details
e712c7ad79 
Currently, there is no CI job to lint the Makefile. This adds one.
mvhutz added 1 commit 2026-03-19 00:22:41 +00:00
style: rename "Lint Makefile" to "Makefile Lint"
All checks were successful
CI / Makefile Lint (pull_request) Successful in 15s
Details
CI / Go Lint (pull_request) Successful in 18s
Details
CI / Unit Tests (pull_request) Successful in 29s
Details
CI / Fuzz Tests (pull_request) Successful in 46s
Details
CI / Mutation Tests (pull_request) Successful in 36s
Details
e305b9c3c2 
This matches the convention of the other CI job names.
mvhutz merged commit 2bfaede2d4 into main 2026-03-19 00:24:25 +00:00
mvhutz deleted branch ci/lint-makefile-job 2026-03-19 00:24:25 +00:00
Sign in to join this conversation.
Reviewers
No Reviewers
Labels
Clear labels
bug
Something is not working
 duplicate
This issue or pull request already exists
 enhancement
New feature
 help wanted
Need some help
 invalid
Something is wrong
 question
More information is needed
 wontfix
This won't be fixed
No Label
Milestone
No items
No Milestone
Assignees
Clear assignees
mvhutz
No Assignees
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: tools/go-cuckoo#5
Delete Branch "ci/lint-makefile-job"

Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?