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 dependency ut-issl/s2e-core to v6.4.0 #68

Merged
merged 1 commit into from
Aug 25, 2023

Conversation

renovate[bot]
Copy link
Contributor

@renovate renovate bot commented Aug 17, 2023

Mend Renovate

This PR contains the following updates:

Package Update Change
ut-issl/s2e-core minor v6.0.0 -> v6.4.0

Release Notes

ut-issl/s2e-core (ut-issl/s2e-core)

v6.4.0

Compare Source

What's Changed

New Contributors

Full Changelog: ut-issl/s2e-core@v6.3.0...v6.4.0

v6.3.0

Compare Source

What's Changed

Full Changelog: ut-issl/s2e-core@v6.2.2...v6.3.0

v6.2.2

Compare Source

What's Changed

Full Changelog: ut-issl/s2e-core@v6.2.1...v6.2.2

v6.2.1

Compare Source

What's Changed

Full Changelog: ut-issl/s2e-core@v6.2.0...v6.2.1

v6.2.0

Compare Source

What's Changed

Full Changelog: ut-issl/s2e-core@v6.1.1...v6.2.0

v6.1.1

Compare Source

What's Changed

Full Changelog: ut-issl/s2e-core@v6.1.0...v6.1.1

v6.1.0

Compare Source

What's Changed

New Contributors

Full Changelog: ut-issl/s2e-core@v6.0.5...v6.1.0

v6.0.5

Compare Source

What's Changed

Full Changelog: ut-issl/s2e-core@v6.0.4...v6.0.5

v6.0.4

Compare Source

What's Changed

Full Changelog: ut-issl/s2e-core@v6.0.3...v6.0.4

v6.0.3

Compare Source

What's Changed

Full Changelog: ut-issl/s2e-core@v6.0.2...v6.0.3

v6.0.2

Compare Source

What's Changed

Full Changelog: ut-issl/s2e-core@v6.0.1...v6.0.2

v6.0.1

Compare Source

What's Changed

Full Changelog: ut-issl/s2e-core@v6.0.0...v6.0.1


Configuration

📅 Schedule: Branch creation - At any time (no schedule defined), Automerge - At any time (no schedule defined).

🚦 Automerge: Disabled by config. Please merge this manually once you are satisfied.

Rebasing: Whenever PR becomes conflicted, or you tick the rebase/retry checkbox.

🔕 Ignore: Close this PR and you won't be reminded about this update again.


  • If you want to rebase/retry this PR, check this box

This PR has been generated by Mend Renovate. View repository job log here.

@sksat
Copy link
Member

sksat commented Aug 17, 2023

あー,v prefix の扱いがダメだったか

@renovate renovate bot force-pushed the renovate/ut-issl-s2e-core-6.x branch from 3a0fef6 to ec160c8 Compare August 18, 2023 05:08
@renovate renovate bot changed the title Update dependency ut-issl/s2e-core to v6.3.0 Update dependency ut-issl/s2e-core to v6.4.0 Aug 19, 2023
@renovate renovate bot force-pushed the renovate/ut-issl-s2e-core-6.x branch from ec160c8 to 777d85b Compare August 19, 2023 04:26
@sksat
Copy link
Member

sksat commented Aug 19, 2023

v6.4.0 で #54 のためのパッチが入ったので,#54, #55 をマージすると build with S2E が通るようになる

@sksat
Copy link
Member

sksat commented Aug 19, 2023

#55 に rebase するか

@sksat sksat changed the base branch from develop to feature/rename-system-examples August 19, 2023 04:47
@renovate renovate bot force-pushed the renovate/ut-issl-s2e-core-6.x branch from 777d85b to 43c992e Compare August 19, 2023 04:47
@renovate renovate bot changed the base branch from feature/rename-system-examples to develop August 19, 2023 04:48
@sksat
Copy link
Member

sksat commented Aug 19, 2023

あ,develop に base branch 戻された

@sksat
Copy link
Member

sksat commented Aug 19, 2023

現時点では arkedge/c2a-core の develop が s2e-core v6.4.0 と噛み合わないのは事実なので,これをマージしてから System rename する方が自然かな

@sksat
Copy link
Member

sksat commented Aug 19, 2023

@meltingrabbit #54, #55 で直るので,(build with S2E 落ちてますが)先にこれをマージしたいです

Copy link
Member

@meltingrabbit meltingrabbit left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

#54 , #55 があたってないので,v6.4.0 の s2e core があたると,CIはこける.
ただし,c2a core の v4,つまり,上記2つの PR がマージされている状況では通るはずなので,一旦CIがfailするが,マージする.

@sksat sksat merged commit 5f94bc8 into develop Aug 25, 2023
@sksat sksat deleted the renovate/ut-issl-s2e-core-6.x branch August 25, 2023 08:10
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
Status: Done
Development

Successfully merging this pull request may close these issues.

2 participants