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.

Sign up for GitHub

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

Jump to bottom

fix(app): parse old server options in request #1570

Merged
merged 1 commit into from
Aug 11, 2023
Merged

fix(app): parse old server options in request #1570

merged 1 commit into from
Aug 11, 2023

Conversation

olevski
Copy link
Member

@olevski olevski commented Aug 9, 2023

/deploy #persist

@olevski olevski requested a review from a team as a code owner August 9, 2023 15:29
@olevski olevski temporarily deployed to renku-ci-nb-1570 August 9, 2023 15:30 — with GitHub Actions Inactive
@RenkuBot
Copy link
Contributor

RenkuBot commented Aug 9, 2023

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

Panaetius
Panaetius previously approved these changes Aug 10, 2023
View reviewed changes
@olevski olevski temporarily deployed to renku-ci-nb-1570 August 10, 2023 15:12 — with GitHub Actions Inactive
@olevski olevski force-pushed the fix-failed-cli-launch branch from 874fd52 to 8f787b5 Compare August 10, 2023 15:37
@olevski olevski temporarily deployed to renku-ci-nb-1570 August 10, 2023 15:37 — with GitHub Actions Inactive
@olevski olevski force-pushed the fix-failed-cli-launch branch from 8f787b5 to b8fdec9 Compare August 10, 2023 15:55
@olevski olevski temporarily deployed to renku-ci-nb-1570 August 10, 2023 15:55 — with GitHub Actions Inactive
@olevski olevski force-pushed the fix-failed-cli-launch branch from b8fdec9 to 7475895 Compare August 10, 2023 23:30
@olevski olevski temporarily deployed to renku-ci-nb-1570 August 10, 2023 23:30 — with GitHub Actions Inactive
@olevski olevski requested a review from Panaetius August 11, 2023 07:41
@olevski olevski deployed to renku-ci-nb-1570 August 11, 2023 07:41 — with GitHub Actions Active
@olevski olevski merged commit 8b3e5c0 into master Aug 11, 2023
@olevski olevski deleted the fix-failed-cli-launch branch August 11, 2023 08:42
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@Panaetius Panaetius Panaetius approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@olevski @RenkuBot @Panaetius