Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

update compilation profiles #1759

Merged
merged 1 commit into from
Apr 19, 2023
Merged

update compilation profiles #1759

merged 1 commit into from
Apr 19, 2023

Conversation

onur-ozkan
Copy link
Member

No description provided.

@onur-ozkan onur-ozkan force-pushed the update-compilation-profiles branch 5 times, most recently from 294fc21 to 649ea0b Compare April 19, 2023 00:15
cipig
cipig previously approved these changes Apr 19, 2023
shamardy
shamardy previously approved these changes Apr 19, 2023
@onur-ozkan onur-ozkan dismissed stale reviews from shamardy and cipig via 6e64cf5 April 19, 2023 00:52
@onur-ozkan onur-ozkan force-pushed the update-compilation-profiles branch 3 times, most recently from 2795935 to cc13cc5 Compare April 19, 2023 09:20
Signed-off-by: ozkanonur <work@onurozkan.dev>
@onur-ozkan onur-ozkan added in progress Changes will be made from the author under review and removed in progress Changes will be made from the author labels Apr 19, 2023
@onur-ozkan onur-ozkan merged commit 52eb282 into dev Apr 19, 2023
@onur-ozkan onur-ozkan deleted the update-compilation-profiles branch April 19, 2023 12:00
@shamardy shamardy mentioned this pull request Apr 21, 2023
@shamardy shamardy restored the update-compilation-profiles branch April 21, 2023 14:21
@onur-ozkan onur-ozkan deleted the update-compilation-profiles branch May 1, 2023 14:01
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants