Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Enhancement: introduce codecov #112

Open
4 of 18 tasks
momeemt opened this issue Oct 23, 2024 · 0 comments
Open
4 of 18 tasks

Enhancement: introduce codecov #112

momeemt opened this issue Oct 23, 2024 · 0 comments
Labels
changes: patch Not change API components: infrastructure Release automation difficulty: medium Medium Issues size: medium Around 2weeks ~ 1month type: enhancement New feature or request type: testing Add tests

Comments

@momeemt
Copy link
Member

momeemt commented Oct 23, 2024

Describe the feature or improvement

The problem is that the compiler is not enough to be tested.
Introducing codecov and visualizing the current progress might motivate us.

https://about.codecov.io/pricing/

Suggested implementation (optional)

none

Component (optional)

If you know which component your issue relates to, please select it:

  • CLI tools (brack)
  • Tokenizer (brack-tokenizer)
  • Parser (brack-parser)
  • Transformer (brack-transformer)
  • Macro Expander (brack-expander)
  • Lower (brack-lower)
  • Code Generator (brack-codegen)
  • Infrastructure
  • Language Server (brack-language-server)
  • Project Manager (brack-project-manager)
  • GitHub Actions

Additional context

none

Reference (optional)

If this feature request has been discussed or inspired elsewhere, please include links to relevant discussions:

  • GitHub Issue (ref: )
  • GitHub Pull Request (ref: )
  • GitHub Discussion (ref: )
  • Discord Server (ref: )

Steps taken to verify

Before submitting, ensure you've done the following checks:

@momeemt momeemt added type: enhancement New feature or request components: infrastructure Release automation difficulty: medium Medium Issues size: medium Around 2weeks ~ 1month changes: patch Not change API type: testing Add tests labels Oct 23, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
changes: patch Not change API components: infrastructure Release automation difficulty: medium Medium Issues size: medium Around 2weeks ~ 1month type: enhancement New feature or request type: testing Add tests
Projects
None yet
Development

No branches or pull requests

1 participant