Skip to content

main -> web - #6450

Merged
roed314 merged 191 commits into
webfrom
main
Jul 3, 2025
Merged

main -> web#6450
roed314 merged 191 commits into
webfrom
main

Conversation

@roed314

@roed314 roed314 commented Jul 2, 2025

Copy link
Copy Markdown
Member

No description provided.

edgarcosta and others added 28 commits June 26, 2025 15:20
move styling issues to autopep8
(ans) -> ans (and testing autopep8)
Seems like there was enough time for comments.  Of course, it can always be improved.
@roed314

roed314 commented Jul 3, 2025

Copy link
Copy Markdown
Member Author

Tests are stalling against devmirror and we're pushing to prod. Tests run so fare are successful.

@roed314
roed314 merged commit 9816b76 into web Jul 3, 2025
91 of 93 checks passed
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.

5 participants