Skip to content

Update the github workflow#19

Closed
ZhiyuanSue wants to merge 5 commits intoarceos-org:mainfrom
ZhiyuanSue:main
Closed

Update the github workflow#19
ZhiyuanSue wants to merge 5 commits intoarceos-org:mainfrom
ZhiyuanSue:main

Conversation

@ZhiyuanSue
Copy link
Copy Markdown
Contributor

No description provided.

@equation314
Copy link
Copy Markdown
Member

Close as it has been implemented in #24.

@equation314 equation314 closed this Mar 3, 2026
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