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

Implement wasmer run {url} #3295

Merged
merged 22 commits into from
Nov 20, 2022
Merged

Implement wasmer run {url} #3295

merged 22 commits into from
Nov 20, 2022

Conversation

fschutt
Copy link
Contributor

@fschutt fschutt commented Nov 10, 2022

No description provided.

lib/cli/src/commands/run.rs Outdated Show resolved Hide resolved
lib/registry/src/lib.rs Outdated Show resolved Hide resolved
lib/registry/src/lib.rs Outdated Show resolved Hide resolved
lib/registry/src/lib.rs Outdated Show resolved Hide resolved
lib/registry/src/lib.rs Outdated Show resolved Hide resolved
lib/registry/src/lib.rs Outdated Show resolved Hide resolved
lib/registry/src/lib.rs Outdated Show resolved Hide resolved
@fschutt
Copy link
Contributor Author

fschutt commented Nov 20, 2022

bors try

bors bot added a commit that referenced this pull request Nov 20, 2022
@bors
Copy link
Contributor

bors bot commented Nov 20, 2022

try

Build succeeded:

@fschutt
Copy link
Contributor Author

fschutt commented Nov 20, 2022

bors try

bors bot added a commit that referenced this pull request Nov 20, 2022
@bors
Copy link
Contributor

bors bot commented Nov 20, 2022

try

Build succeeded:

@fschutt
Copy link
Contributor Author

fschutt commented Nov 20, 2022

bors r+

bors bot added a commit that referenced this pull request Nov 20, 2022
3295: Implement wasmer run {url} r=fschutt a=fschutt



Co-authored-by: Felix Schütt <felix@wasmer.io>
Co-authored-by: Felix Schütt <12084016+fschutt@users.noreply.github.com>
@fschutt fschutt merged commit 271d9c6 into master Nov 20, 2022
@fschutt fschutt deleted the run-url branch November 20, 2022 13:41
@bors
Copy link
Contributor

bors bot commented Nov 20, 2022

This PR was included in a batch that successfully built, but then failed to merge into master (it was a non-fast-forward update). It will be automatically retried.

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