Skip to content

infra-update#3

Merged
KARTIKrocks merged 2 commits intomainfrom
infra-update
Apr 1, 2026
Merged

infra-update#3
KARTIKrocks merged 2 commits intomainfrom
infra-update

Conversation

@KARTIKrocks
Copy link
Copy Markdown
Owner

Summary

  • update makefile
  • update readme
  • update .github/pull_request_template.md
  • add codecov.yml

@KARTIKrocks KARTIKrocks self-assigned this Apr 1, 2026
@KARTIKrocks KARTIKrocks merged commit 503d6c3 into main Apr 1, 2026
6 checks passed
@KARTIKrocks KARTIKrocks deleted the infra-update branch April 1, 2026 07:49
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