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

Update didc release #2516

Merged
merged 1 commit into from
Jun 24, 2024
Merged

Update didc release #2516

merged 1 commit into from
Jun 24, 2024

Conversation

gix-bot
Copy link
Contributor

@gix-bot gix-bot commented Jun 22, 2024

Automated changes by create-pull-request GitHub action


🟡 Some screens were changed

@gix-bot gix-bot requested a review from a team as a code owner June 22, 2024 07:30
@frederikrothenberger
Copy link
Member

Let's close this PR. We are on the newer version (which has now been marked as a pre-release). Given we only use didc to generate bindings and there are no changes in the last version and the currently used one, there is no point in rolling back.

@frederikrothenberger
Copy link
Member

Reopened because I missed the fact that the previous release 2024-06-20 was deleted and the newest pre-release is now 2024-06-21. Downgrading to latest, as suggested by the gix-bot.

@frederikrothenberger frederikrothenberger added this pull request to the merge queue Jun 24, 2024
Merged via the queue into main with commit 4c4e66e Jun 24, 2024
72 checks passed
@frederikrothenberger frederikrothenberger deleted the bot-didc-update branch June 24, 2024 08:08
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.

2 participants