Skip to content

Change names#125

Merged
erseco merged 2 commits intomainfrom
feature/change-names
Mar 4, 2026
Merged

Change names#125
erseco merged 2 commits intomainfrom
feature/change-names

Conversation

@erseco
Copy link
Copy Markdown
Collaborator

@erseco erseco commented Mar 4, 2026

Change some names in .odt files

@codecov
Copy link
Copy Markdown

codecov bot commented Mar 4, 2026

Codecov Report

✅ All modified and coverable lines are covered by tests.

📢 Thoughts on this report? Let us know!

@erseco
Copy link
Copy Markdown
Collaborator Author

erseco commented Mar 4, 2026

@copilot fix e2e

Copy link
Copy Markdown
Contributor

Copilot AI commented Mar 4, 2026

@erseco I've opened a new pull request, #126, to work on those changes. Once the pull request is ready, I'll request review from you.

…#126)

* Initial plan

* Fix e2e: make loading modal test resilient to fast WASM failure in CI

Co-authored-by: erseco <1876752+erseco@users.noreply.github.com>

---------

Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com>
Co-authored-by: erseco <1876752+erseco@users.noreply.github.com>
@erseco erseco merged commit adafe94 into main Mar 4, 2026
7 checks passed
@erseco erseco deleted the feature/change-names branch March 4, 2026 22:46
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