Skip to content

update the beman.execution reference version#76

Merged
dietmarkuehl merged 1 commit intomainfrom
update-execution-reference
Mar 23, 2026
Merged

update the beman.execution reference version#76
dietmarkuehl merged 1 commit intomainfrom
update-execution-reference

Conversation

@dietmarkuehl
Copy link
Member

No description provided.

Copilot AI review requested due to automatic review settings March 23, 2026 17:09
Copy link

Copilot AI left a comment

Choose a reason for hiding this comment

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

Pull request overview

This PR updates the pinned beman.execution dependency revision used via CMake FetchContent to a newer upstream commit.

Changes:

  • Update FetchContent_Declare(execution) to use a new GIT_TAG commit reference.

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

# FETCHCONTENT_SOURCE_DIR_EXECUTION ${CMAKE_SOURCE_DIR}/../execution
GIT_REPOSITORY https://github.com/bemanproject/execution
GIT_TAG 3650634
GIT_TAG 09d5a5c
Copy link

Copilot AI Mar 23, 2026

Choose a reason for hiding this comment

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

GIT_TAG is pinned to a short SHA (09d5a5c). Short SHAs can become ambiguous as the upstream repo grows, which can break FetchContent clones and also makes it harder to trace what version is being consumed. Prefer pinning to an immutable release tag (e.g., 0.2.0/v0.2.0 if available) or at least the full 40-character commit SHA, and ensure it corresponds to the 0.2.0 EXACT version expected below.

Suggested change
GIT_TAG 09d5a5c
GIT_TAG v0.2.0

Copilot uses AI. Check for mistakes.
@coveralls
Copy link

Coverage Status

coverage: 94.212%. remained the same
when pulling 5b0f905 on update-execution-reference
into 6163df9 on main.

@dietmarkuehl dietmarkuehl merged commit 768ee35 into main Mar 23, 2026
40 checks passed
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.

3 participants