Skip to content

add github actions#1

Merged
webern merged 1 commit into
mainfrom
github-actions
Apr 16, 2025
Merged

add github actions#1
webern merged 1 commit into
mainfrom
github-actions

Conversation

@webern
Copy link
Copy Markdown
Owner

@webern webern commented Apr 16, 2025

No description provided.

@webern webern force-pushed the github-actions branch 3 times, most recently from f06df81 to 372fe5e Compare April 16, 2025 00:54
@webern webern merged commit 28f300c into main Apr 16, 2025
1 check passed
@webern webern deleted the github-actions branch April 16, 2025 00:56
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