Skip to content

Conversation

elhimov
Copy link

@elhimov elhimov commented Oct 17, 2025

I didn't forget about (remove if it is not applicable):

Related issues:

Closes TNTP-3733

Closes TNTP-3733
@elhimov elhimov force-pushed the elhimov/tntp-3733-import-and-actualize-benchmarks branch from e796751 to 4dd55cd Compare October 17, 2025 09:53
@coveralls
Copy link

Coverage Status

coverage: 91.616%. remained the same
when pulling 4dd55cd on elhimov/tntp-3733-import-and-actualize-benchmarks
into d70dadd on master.

@elhimov elhimov requested review from AlexandrLitkevich, bigbes and oleg-jukovec and removed request for oleg-jukovec October 17, 2025 09:59
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