Skip to content

chore: update API specs#4181

Merged
leafty merged 5 commits into
mainfrom
leafty/chore-update-api
May 22, 2026
Merged

chore: update API specs#4181
leafty merged 5 commits into
mainfrom
leafty/chore-update-api

Conversation

@leafty
Copy link
Copy Markdown
Member

@leafty leafty commented May 22, 2026

/deploy renku-data-services=main

@RenkuBot
Copy link
Copy Markdown
Contributor

You can access the deployment of this PR at https://renku-ci-ui-4181.dev.renku.ch

@leafty leafty marked this pull request as ready for review May 22, 2026 11:34
@leafty leafty requested a review from a team as a code owner May 22, 2026 11:34
Copy link
Copy Markdown
Member

@lorenzo-cavazzi lorenzo-cavazzi left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thank you for updating this 🙏

@lorenzo-cavazzi
Copy link
Copy Markdown
Member

P.S. Is this the reason for the DC test to fail? SwissDataScienceCenter/renku-data-services#1325 Should we wait until fixed?

@leafty
Copy link
Copy Markdown
Member Author

leafty commented May 22, 2026

P.S. Is this the reason for the DC test to fail? SwissDataScienceCenter/renku-data-services#1325 Should we wait until fixed?

Yes, there was a fix pushed to renku-data-services which fixed a DC API but then broke another DC API. There is no reason to wait.

@leafty leafty enabled auto-merge (squash) May 22, 2026 12:15
@leafty leafty merged commit 123884c into main May 22, 2026
22 of 23 checks passed
@leafty leafty deleted the leafty/chore-update-api branch May 22, 2026 12:25
@RenkuBot
Copy link
Copy Markdown
Contributor

Tearing down the temporary RenkuLab deplyoment for this PR.

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.

3 participants