Skip to content

Generate unique job id.#931

Merged
mariacarmina merged 1 commit into
mainfrom
unique-job-id-generation
Apr 29, 2025
Merged

Generate unique job id.#931
mariacarmina merged 1 commit into
mainfrom
unique-job-id-generation

Conversation

@mariacarmina
Copy link
Copy Markdown
Contributor

Fixes #930 .

Changes proposed in this PR:

  • add the timestamp in nanoseconds format appended with random number for unicity

@mariacarmina mariacarmina self-assigned this Apr 29, 2025
@mariacarmina mariacarmina marked this pull request as ready for review April 29, 2025 12:25
Copy link
Copy Markdown
Member

@bogdanfazakas bogdanfazakas left a comment

Choose a reason for hiding this comment

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

lgtm

Copy link
Copy Markdown
Contributor

@giurgiur99 giurgiur99 left a comment

Choose a reason for hiding this comment

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

LGTM!

@mariacarmina mariacarmina merged commit 2de1a4f into main Apr 29, 2025
13 checks passed
@mariacarmina mariacarmina deleted the unique-job-id-generation branch April 29, 2025 12:52
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.

C2D: JobId generation

3 participants