Skip to content

Move PR build to GitHub Actions#112

Merged
dfederm merged 1 commit intomainfrom
gh-actions
Sep 24, 2024
Merged

Move PR build to GitHub Actions#112
dfederm merged 1 commit intomainfrom
gh-actions

Conversation

@dfederm
Copy link
Copy Markdown
Member

@dfederm dfederm commented Sep 24, 2024

No description provided.

@dfederm dfederm force-pushed the gh-actions branch 2 times, most recently from d7b7181 to 412d3ea Compare September 24, 2024 22:49
@dfederm dfederm merged commit 3b89279 into main Sep 24, 2024
@dfederm dfederm deleted the gh-actions branch September 24, 2024 23:07
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