Skip to content

Use choice for github action workflows#377

Merged
ophub merged 1 commit intoophub:mainfrom
yujincheng08:option
Jun 16, 2022
Merged

Use choice for github action workflows#377
ophub merged 1 commit intoophub:mainfrom
yujincheng08:option

Conversation

@yujincheng08
Copy link
Copy Markdown
Contributor

No description provided.

@ophub ophub merged commit d3d2895 into ophub:main Jun 16, 2022
@yujincheng08 yujincheng08 deleted the option branch June 16, 2022 07:20
@ophub
Copy link
Copy Markdown
Owner

ophub commented Jun 16, 2022

Hello, thank you very much for modifying the operation method, it is very convenient and great. Is there a multi-option setting? for kernel multiple selection.

@yujincheng08
Copy link
Copy Markdown
Contributor Author

unfortunately, there's no such type. I am also hoping GitHub adds this feature so that we can use this for kernel choice and arch choice.

@ophub
Copy link
Copy Markdown
Owner

ophub commented Jun 16, 2022

okay, thank you

ophub added a commit that referenced this pull request Jun 17, 2022
Use `choice` for github action workflows
ophub added a commit that referenced this pull request Jun 25, 2022
Use `choice` for github action workflows
ophub added a commit that referenced this pull request Jul 3, 2022
Use `choice` for github action workflows
ophub added a commit that referenced this pull request Aug 7, 2022
Use `choice` for github action workflows
ophub added a commit that referenced this pull request Sep 2, 2022
Use `choice` for github action workflows
ophub added a commit that referenced this pull request Oct 17, 2022
Use `choice` for github action workflows
ophub added a commit that referenced this pull request Nov 4, 2022
Use `choice` for github action workflows
ophub added a commit that referenced this pull request Dec 3, 2022
Use `choice` for github action workflows
ophub added a commit that referenced this pull request Dec 8, 2022
Use `choice` for github action workflows
ophub added a commit that referenced this pull request Jan 27, 2023
Use `choice` for github action workflows
ophub added a commit that referenced this pull request Dec 6, 2023
Use `choice` for github action workflows
ophub added a commit that referenced this pull request Nov 2, 2025
Use `choice` for github action workflows
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