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

Correct commit id when building from CI #573

Merged
merged 1 commit into from
Jun 28, 2024

Conversation

gmlueck
Copy link
Contributor

@gmlueck gmlueck commented Jun 28, 2024

The revision line at the top of the spec is supposed to include the git commit ID that the spec was built from. This works fine when building manually, but there has been a longstanding bug preventing this form working when the spec is built in GitHub CI.

I think the problem is that the GitHub action doesn't check out any of the git history, so the "git describe" and "git log" commands don't work. Rather than use git commands to get the commit ID, we can just get the ID from the GitHib $GITHUB_SHA variable.

I also simplified the information in the revision line, so it just contains the commit ID and not the branch information. I think this is the only critical information because we can always map the ID back to a branch later if we want.

@gmlueck gmlueck force-pushed the gmlueck/ci-commit branch from a4cf3a4 to 04f8e33 Compare June 28, 2024 22:19
The revision line at the top of the spec is supposed to include the
git commit ID that the spec was built from.  This works fine when
building manually, but there has been a longstanding bug preventing
this form working when the spec is built in GitHub CI.

I think the problem is that the GitHub action doesn't check out any of
the git history, so the "git describe" and "git log" commands don't
work.  Rather than use git commands to get the commit ID, we can just
get the ID from the GitHib $GITHUB_SHA variable.

I also simplified the information in the revision line, so it just
contains the commit ID and not the branch information.  I think this is
the only critical information because we can always map the ID back to a
branch later if we want.
@gmlueck gmlueck force-pushed the gmlueck/ci-commit branch from 04f8e33 to 6b8dffa Compare June 28, 2024 22:20
@gmlueck gmlueck changed the title Correctly commit id when building from CI Correct commit id when building from CI Jun 28, 2024
@gmlueck gmlueck added the editorial Some purely editorial problem label Jun 28, 2024
@gmlueck gmlueck merged commit 1b4d5b6 into KhronosGroup:SYCL-2020/master Jun 28, 2024
2 checks passed
@gmlueck gmlueck deleted the gmlueck/ci-commit branch June 28, 2024 22:35
keryell pushed a commit that referenced this pull request Sep 10, 2024
Correct commit id when building from CI
gmlueck added a commit that referenced this pull request Nov 7, 2024
Correct commit id when building from CI

(cherry picked from commit 1b4d5b6)
gmlueck added a commit that referenced this pull request Nov 7, 2024
Correct commit id when building from CI

(cherry picked from commit 1b4d5b6)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
editorial Some purely editorial problem
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant