Skip to content

Add a GitHub actions CI workflow.#389

Merged
benjaminp merged 1 commit into
mainfrom
benjamin-ci
Dec 1, 2024
Merged

Add a GitHub actions CI workflow.#389
benjaminp merged 1 commit into
mainfrom
benjamin-ci

Conversation

@benjaminp

@benjaminp benjaminp commented Dec 1, 2024

Copy link
Copy Markdown
Owner

@benjaminp benjaminp force-pushed the benjamin-ci branch 4 times, most recently from b3f0228 to 662ca63 Compare December 1, 2024 22:32
@benjaminp benjaminp changed the title Add a GitHub actions CI workflows. Add a GitHub actions CI workflow. Dec 1, 2024
@benjaminp benjaminp merged commit 86f89c5 into main Dec 1, 2024
@benjaminp benjaminp deleted the benjamin-ci branch December 1, 2024 22:39
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.

1 participant