Skip to content

[CI] change default build profile to ci#111

Merged
EricJoy2048 merged 1 commit intoapache:mainfrom
EricJoy2048:12_change_default_profile
Aug 28, 2023
Merged

[CI] change default build profile to ci#111
EricJoy2048 merged 1 commit intoapache:mainfrom
EricJoy2048:12_change_default_profile

Conversation

@EricJoy2048
Copy link
Member

No description provided.

@EricJoy2048 EricJoy2048 changed the title [Build] change default build profile to ci [CI] change default build profile to ci Aug 28, 2023
@EricJoy2048 EricJoy2048 merged commit 093eed3 into apache:main Aug 28, 2023
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