Skip to content

Conversation

dcharkes
Copy link
Collaborator

Closes: #2565

(We already have this setup in .github/native.yaml)

@dcharkes dcharkes requested a review from liamappelbe August 28, 2025 17:42
@github-actions github-actions bot added the type-infra A repository infrastructure change or enhancement label Aug 28, 2025
@coveralls
Copy link

Coverage Status

coverage: 82.873% (+5.5%) from 77.402%
when pulling e7026b2 on ffigen-stacked-prs
into 99456de on main.

@dcharkes dcharkes merged commit 10e6e9d into main Aug 29, 2025
20 checks passed
@dcharkes dcharkes deleted the ffigen-stacked-prs branch August 29, 2025 06:39
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
type-infra A repository infrastructure change or enhancement
Projects
None yet
Development

Successfully merging this pull request may close these issues.

[infra] [ffigen] CI doesn't run on stacked PRs.
3 participants