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

Merged
merged 8 commits into from
Jun 1, 2024
Merged

Next image #136

merged 8 commits into from
Jun 1, 2024

Conversation

github-actions[bot]
Copy link
Contributor

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 2229f82 to baa4d18 Compare May 17, 2024 18:09
@pauleve pauleve force-pushed the auto/next branch 7 times, most recently from 5d338d3 to d395411 Compare May 30, 2024 18:11
@pauleve pauleve added the ready-for-monthly-merge This PR will be merged on the 1st of next month label May 30, 2024
@pauleve pauleve force-pushed the auto/next branch 2 times, most recently from 0d1f07d to 59b5a33 Compare May 30, 2024 23:48
@pauleve pauleve merged commit 51c0f56 into master Jun 1, 2024
2 checks passed
@pauleve pauleve deleted the auto/next branch June 1, 2024 19:10
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