Skip to content

Setup GitHub actions#1

Merged
damaki merged 2 commits into
mainfrom
topic/setup-github-actions
Jun 22, 2025
Merged

Setup GitHub actions#1
damaki merged 2 commits into
mainfrom
topic/setup-github-actions

Conversation

@damaki

@damaki damaki commented Jun 22, 2025

Copy link
Copy Markdown
Owner

No description provided.

@damaki damaki self-assigned this Jun 22, 2025
@damaki damaki added the verification Improvements or additions to the verification suite label Jun 22, 2025
@damaki damaki force-pushed the topic/setup-github-actions branch from 391bd82 to 2bc1121 Compare June 22, 2025 09:46
@damaki damaki force-pushed the topic/setup-github-actions branch from 2bc1121 to ec9af14 Compare June 22, 2025 09:49
@damaki damaki merged commit 427a0bb into main Jun 22, 2025
5 checks passed
@damaki damaki deleted the topic/setup-github-actions branch June 22, 2025 12:09
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

verification Improvements or additions to the verification suite

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant