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

Change generated dev tag to include timestamp #21

Merged
merged 1 commit into from
May 3, 2024
Merged

Conversation

coutug
Copy link
Contributor

@coutug coutug commented May 3, 2024

Change tag from develop to dev-<timestamp>

@coutug coutug requested a review from 0237h May 3, 2024 13:11
@coutug coutug self-assigned this May 3, 2024
@github-actions github-actions bot added the ops Related to repository operations label May 3, 2024
@0237h 0237h merged commit 697aa78 into main May 3, 2024
3 checks passed
@0237h 0237h deleted the coutug-dev-tag branch May 3, 2024 15:44
0237h added a commit that referenced this pull request May 6, 2024
0237h added a commit that referenced this pull request May 6, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
ops Related to repository operations
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants