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

viper: switch to stable server #3593

Merged
merged 2 commits into from
Nov 18, 2022
Merged

viper: switch to stable server #3593

merged 2 commits into from
Nov 18, 2022

Conversation

ggreif
Copy link
Contributor

@ggreif ggreif commented Nov 18, 2022

It still has somewhat outdated backends, but we never had problems with those.

But this gives a non-moving download URL, so that's a win!

Here is the link to the release announcement: https://github.com/viperproject/viperserver/releases/tag/v.22.11-release

it still has somewhat outdated backends, but we never had problems with those
the newlines are gone again, due to an older Silicon backend
@mergify
Copy link
Contributor

mergify bot commented Nov 18, 2022

⚠️ The sha of the head commit of this PR conflicts with #3477. Mergify cannot evaluate rules on this PR. ⚠️

@ggreif ggreif changed the base branch from master to viper November 18, 2022 13:52
@github-actions
Copy link

Comparing from 00c4193 to 1a82e29:
The produced WebAssembly code seems to be completely unchanged.

@ggreif ggreif merged commit 74553c7 into viper Nov 18, 2022
@ggreif ggreif deleted the gabor/viper-stable branch November 18, 2022 14:30
@mergify
Copy link
Contributor

mergify bot commented Nov 18, 2022

⚠️ The sha of the head commit of this PR conflicts with #3477. Mergify cannot evaluate rules on 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.

1 participant