Skip to content

[gen] if there are xml errors, say which - #748

Merged
shish merged 1 commit into
push-uqzwwswnomkmfrom
push-mvwsmovwnvvr
Aug 17, 2026
Merged

[gen] if there are xml errors, say which#748
shish merged 1 commit into
push-uqzwwswnomkmfrom
push-mvwsmovwnvvr

Conversation

@shish

@shish shish commented Aug 17, 2026

Copy link
Copy Markdown
Collaborator

CI is failing in ways that don't fail locally, without an error...

@shish
shish force-pushed the push-mvwsmovwnvvr branch from 0ffb87b to 8f195ae Compare August 17, 2026 22:41
@shish
shish force-pushed the push-mvwsmovwnvvr branch from 8f195ae to 7cbd06d Compare August 17, 2026 23:30
CI is failing in ways that don't fail locally, without an error...
@shish
shish force-pushed the push-mvwsmovwnvvr branch from 7cbd06d to 688b145 Compare August 17, 2026 23:34
@shish
shish merged commit 9028407 into master Aug 17, 2026
22 checks passed
@shish
shish deleted the push-mvwsmovwnvvr branch August 17, 2026 23:43
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.

1 participant