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.

Sign up for GitHub

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

Jump to bottom

S2E Build CI で使われる S2E Core のバージョンを上げる #534

Merged
merged 1 commit into from
Apr 9, 2023
Merged

S2E Build CI で使われる S2E Core のバージョンを上げる #534

merged 1 commit into from
Apr 9, 2023

Conversation

meltingrabbit
Copy link
Collaborator

概要

S2E Build CI で使われる S2E Core のバージョンを上げる

Issue

  • 関連する issue

詳細

検証結果

CI が通ればOK

@meltingrabbit meltingrabbit requested review from sksat and chutaro April 9, 2023 12:50
@meltingrabbit
Copy link
Collaborator Author

@sksat これって renovate 動かないんだっけ？

@sksat
Copy link
Collaborator

sksat commented Apr 9, 2023

あー，動くようにしてないかも

@meltingrabbit
Copy link
Collaborator Author

OK

@meltingrabbit
Copy link
Collaborator Author

AE側の様々なCIがおちてて，おってなってた．

@meltingrabbit meltingrabbit merged commit 432e355 into develop Apr 9, 2023
@meltingrabbit meltingrabbit deleted the feature/update_version_of_s2e_core_in_ci branch April 9, 2023 12:56
@meltingrabbit meltingrabbit mentioned this pull request Apr 9, 2023
Merged
@meltingrabbit meltingrabbit self-assigned this Apr 12, 2023
@chutaro chutaro mentioned this pull request May 26, 2023
Merged
20 tasks
@meltingrabbit meltingrabbit mentioned this pull request Jun 1, 2023
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@sksat sksat sksat approved these changes

@chutaro chutaro Awaiting requested review from chutaro

Assignees

@meltingrabbit meltingrabbit

Labels
priority::high priorityg high tools
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@meltingrabbit @sksat