Skip to content

Fix broken master after merging #1438 and #1437 at the same time - #1439

Merged
vgvassilev merged 1 commit into
vgvassilev:masterfrom
PetroZarytskyi:fix-master
Jul 6, 2025
Merged

Fix broken master after merging #1438 and #1437 at the same time#1439
vgvassilev merged 1 commit into
vgvassilev:masterfrom
PetroZarytskyi:fix-master

Conversation

@PetroZarytskyi

Copy link
Copy Markdown
Collaborator

This PR addresses 2 problems that arose after that: a mismatch in the signature of a new custom reverse_forw and a new tape popping up in a test.

…t the same time.

This PR addresses 2 problems that arose after that: a mismatch in the signature of a new custom `reverse_forw` and a new tape popping up in a test.
@github-actions

github-actions Bot commented Jul 6, 2025

Copy link
Copy Markdown
Contributor

clang-tidy review says "All clean, LGTM! 👍"

@codecov

codecov Bot commented Jul 6, 2025

Copy link
Copy Markdown

Codecov Report

✅ All modified and coverable lines are covered by tests.

📢 Thoughts on this report? Let us know!

@vgvassilev vgvassilev left a comment

Copy link
Copy Markdown
Owner

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Lgtm!

@vgvassilev
vgvassilev merged commit 6d35b89 into vgvassilev:master Jul 6, 2025
88 checks passed
@PetroZarytskyi
PetroZarytskyi deleted the fix-master branch August 30, 2025 22:58
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