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

[replay] Require --logs with --pernosco or --rr #287

Merged
merged 1 commit into from
Mar 25, 2022
Merged

[replay] Require --logs with --pernosco or --rr #287

merged 1 commit into from
Mar 25, 2022

Conversation

tysmith
Copy link
Collaborator

@tysmith tysmith commented Mar 25, 2022

No description provided.

@tysmith tysmith self-assigned this Mar 25, 2022
@codecov
Copy link

codecov bot commented Mar 25, 2022

Codecov Report

Merging #287 (0bd886f) into master (3434c14) will increase coverage by 0.00%.
The diff coverage is 100.00%.

@@           Coverage Diff           @@
##           master     #287   +/-   ##
=======================================
  Coverage   99.22%   99.22%           
=======================================
  Files          50       50           
  Lines        5271     5273    +2     
=======================================
+ Hits         5230     5232    +2     
  Misses         41       41           
Impacted Files Coverage Δ
grizzly/replay/args.py 100.00% <100.00%> (ø)

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update 3434c14...0bd886f. Read the comment docs.

@tysmith tysmith merged commit bc4b605 into master Mar 25, 2022
@tysmith tysmith deleted the rr-logs branch March 25, 2022 22:15
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