[hibernate-commits] [hibernate/hibernate-search] e5b11e: Build PR heads instead of PR merge commits in GitH...
Branch: refs/heads/main
Home: https://github.com/hibernate/hibernate-search
Commit: e5b11e2b499c2be950ff4b7312f6aac6f63df1fb
https://github.com/hibernate/hibernate-search/commit/e5b11e2b499c2be950ff...
Author: Yoann Rodière <yoann(a)hibernate.org>
Date: 2024-03-25 (Mon, 25 Mar 2024)
Changed paths:
M .github/workflows/build.yml
Log Message:
-----------
Build PR heads instead of PR merge commits in GitHub Actions
Otherwise the commit ID in by build scans doesn't match the one from the
GitHub check created by the GitHub Actions workflow execution, and we
end up not listing the build scan in the Hibernate GitHub Bot's
"Develocity GitHub check".
To unsubscribe from these emails, change your notification settings at
https://github.com/hibernate/hibernate-search/settings/notifications