Skip to content

Fix diff in CI#313

Merged
wolfadex merged 1 commit into
mainfrom
fix-ci
Jun 6, 2026
Merged

Fix diff in CI#313
wolfadex merged 1 commit into
mainfrom
fix-ci

Conversation

@miniBill

@miniBill miniBill commented Jun 6, 2026

Copy link
Copy Markdown
Collaborator

We need to ignore diff's exit status for the last step too

@miniBill miniBill changed the title Avoid red CI Fix diff in CI Jun 6, 2026
@github-actions

github-actions Bot commented Jun 6, 2026

Copy link
Copy Markdown

1 similar comment
@github-actions

github-actions Bot commented Jun 6, 2026

Copy link
Copy Markdown

@wolfadex wolfadex merged commit adc6456 into main Jun 6, 2026
2 checks passed
@wolfadex wolfadex deleted the fix-ci branch June 6, 2026 14: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