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

[Draft] Update runtime #98

Closed
wants to merge 2 commits into from
Closed

Conversation

iavael
Copy link

@iavael iavael commented Dec 15, 2022

No description provided.

@flathubbot
Copy link

Started test build 11801

@flathubbot
Copy link

Build 11801 failed

@muelli
Copy link
Collaborator

muelli commented Dec 15, 2022

can you create a PR with ab2a0ae first?

@iavael iavael force-pushed the update-runtime-22.08 branch from dc98632 to f6e8aeb Compare December 15, 2022 08:48
@flathubbot
Copy link

Started test build 11804

@iavael iavael changed the title Update runtime [Draft] Update runtime Dec 15, 2022
@iavael
Copy link
Author

iavael commented Dec 15, 2022

depends on #99

@flathubbot
Copy link

Build 11804 failed

@iavael
Copy link
Author

iavael commented Dec 15, 2022

Depends on #97

@iavael
Copy link
Author

iavael commented Dec 15, 2022

Closing it for now. Change is trivial yet blocked by major build problem in another PR. Runtime bump can be done any time in the future

@iavael iavael closed this Dec 15, 2022
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.

4 participants