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 #135

Merged
merged 3 commits into from Apr 1, 2024
Merged

Next image #135

merged 3 commits into from Apr 1, 2024

Conversation

github-actions[bot]
Copy link
Contributor

@github-actions github-actions bot commented Mar 6, 2024

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 added the ready-for-monthly-merge This PR will be merged on the 1st of next month label Mar 28, 2024
@pauleve pauleve merged commit aa32509 into master Apr 1, 2024
2 checks passed
@pauleve pauleve deleted the auto/next branch April 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