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

fix: add --real_error to command_true_error #123

Merged
merged 10 commits into from
Aug 29, 2023
Merged

fix: add --real_error to command_true_error #123

merged 10 commits into from
Aug 29, 2023

Conversation

njzjz
Copy link
Owner

@njzjz njzjz commented Aug 29, 2023

No description provided.

@codecov
Copy link

codecov bot commented Aug 29, 2023

Codecov Report

Merging #123 (a155324) into next (e79ec2a) will not change coverage.
The diff coverage is 100.00%.

@@           Coverage Diff           @@
##             next     #123   +/-   ##
=======================================
  Coverage   48.33%   48.33%           
=======================================
  Files          82       82           
  Lines       14659    14659           
=======================================
  Hits         7085     7085           
  Misses       7574     7574           
Files Changed Coverage Δ
dpgen/simplify/simplify.py 46.72% <100.00%> (ø)

📣 We’re building smart automated test selection to slash your CI/CD build times. Learn more

@njzjz njzjz merged commit a0a0246 into next Aug 29, 2023
11 checks passed
njzjz added a commit that referenced this pull request Sep 1, 2023
Signed-off-by: Jinzhe Zeng <jinzhe.zeng@rutgers.edu>
Co-authored-by: pre-commit-ci[bot] <66853113+pre-commit-ci[bot]@users.noreply.github.com>
(cherry picked from commit a0a0246)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
1 participant