Skip to content

chore: tweak workflow configs#1765

Merged
43081j merged 2 commits into
masterfrom
workflow-goodness
May 20, 2026
Merged

chore: tweak workflow configs#1765
43081j merged 2 commits into
masterfrom
workflow-goodness

Conversation

@43081j
Copy link
Copy Markdown
Collaborator

@43081j 43081j commented May 20, 2026

No description provided.

@coveralls
Copy link
Copy Markdown

coveralls commented May 20, 2026

Coverage Status

Coverage is 95.746%workflow-goodness into master. No base build found for master.

@43081j 43081j force-pushed the workflow-goodness branch from e5b5c34 to 0122f61 Compare May 20, 2026 08:15
@43081j 43081j merged commit 1a3d7cf into master May 20, 2026
11 checks passed
@43081j 43081j deleted the workflow-goodness branch May 20, 2026 08:19
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