Skip to content

Conversation

natsukagami
Copy link
Contributor

Works better if the last commit doesn't belong to the same date as the build time.

[ ] Should we keep it in UTC, or use local time? It could happen that builder's machine is in a different timezone, and hence a different date.

Copy link
Member

@hamzaremmal hamzaremmal left a comment

Choose a reason for hiding this comment

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

UTC is fine

@WojciechMazur
Copy link
Contributor

Wasn't the commit data also used to check if given version was already released? In such case we were not publishing new nightlies if there was no merges to main since the last (e.g. over the weekends)

@hamzaremmal
Copy link
Member

It was used to avoid publishing a nightly again if nothing was merged between two nightlies. Regardless, I prefer having the current day instead and we can use the hash to avoid publishing again. I'm merging this PR now. Thanks @natsukagami.

@hamzaremmal hamzaremmal merged commit c7a27d1 into scala:main Aug 28, 2025
45 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