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

Switch remaining CLI tests to Python, separate integration tests #276

Merged
merged 7 commits into from
Feb 4, 2025

Conversation

eginhard
Copy link
Member

@eginhard eginhard commented Jan 29, 2025

Follow-up from #208:

  • update coqpit-config to 0.2.0
  • switch remaining CLI tests to run through Python in order to get coverage results
  • move integration tests into tests/integration to separate them from faster running unit tests

@eginhard eginhard added the blocked Blocked by something else label Jan 29, 2025
@eginhard eginhard force-pushed the pytest branch 2 times, most recently from e829c0b to a564a18 Compare January 29, 2025 18:21
@eginhard eginhard marked this pull request as ready for review February 4, 2025 15:02
@eginhard eginhard removed the blocked Blocked by something else label Feb 4, 2025
@eginhard eginhard merged commit a2fb366 into dev Feb 4, 2025
30 checks passed
@eginhard eginhard deleted the pytest branch February 4, 2025 17:07
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.

2 participants