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

Next image #132

Merged
merged 1 commit into from
Jan 1, 2024
Merged

Next image #132

merged 1 commit into from
Jan 1, 2024

Conversation

github-actions[bot]
Copy link
Contributor

@github-actions github-actions bot commented Dec 6, 2023

Candidate next image with updated tool versions.

You can try it using

colomoto-docker -V next

By default, the image will be released on the first of next month.
If you need a persistent tag before (e.g., for a finalized publication), please manifest yourself in a comment below or at https://gitter.im/colomoto/colomoto-docker and we will tag it right away.

@pauleve pauleve force-pushed the auto/next branch 2 times, most recently from fed9532 to 1735f57 Compare December 21, 2023 18:07
@pauleve pauleve added the ready-for-monthly-merge This PR will be merged on the 1st of next month label Dec 21, 2023
@pauleve pauleve merged commit 306d4f5 into master Jan 1, 2024
2 checks passed
@pauleve pauleve deleted the auto/next branch January 1, 2024 19:07
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
ready-for-monthly-merge This PR will be merged on the 1st of next month
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

1 participant