Skip to content

Use p4lang/.github for reusable workflows#649

Merged
chreekat merged 1 commit into
mainfrom
b/use-dot-github
May 25, 2026
Merged

Use p4lang/.github for reusable workflows#649
chreekat merged 1 commit into
mainfrom
b/use-dot-github

Conversation

@chreekat

Copy link
Copy Markdown
Contributor

Can't be merged until p4lang/.github#7 gets merged. :)

Signed-off-by: Bryan Richter <b@chreekat.net>
@github-actions github-actions Bot added the github_actions Pull requests that update GitHub Actions code label May 22, 2026
@chreekat chreekat force-pushed the b/use-dot-github branch from 803f2e0 to 0ef9ca9 Compare May 22, 2026 12:39

@jafingerhut jafingerhut left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@chreekat chreekat merged commit c99ed2a into main May 25, 2026
7 checks passed
@chreekat chreekat deleted the b/use-dot-github branch May 25, 2026 09:22
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

github_actions Pull requests that update GitHub Actions code

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants