Skip to content

Fix ci#111

Merged
otherview merged 1 commit into
mainfrom
pedro/fix_ci
Jul 10, 2026
Merged

Fix ci#111
otherview merged 1 commit into
mainfrom
pedro/fix_ci

Conversation

@otherview

Copy link
Copy Markdown
Member

Reverts the string changes that were never applied in thor

@otherview otherview temporarily deployed to default-private July 10, 2026 09:55 — with GitHub Actions Inactive
@otherview otherview merged commit c87b8c5 into main Jul 10, 2026
6 checks passed
@otherview otherview deleted the pedro/fix_ci branch July 10, 2026 10:55
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