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

commands: Add run. #1968

Merged
merged 1 commit into from
Aug 4, 2023
Merged

commands: Add run. #1968

merged 1 commit into from
Aug 4, 2023

Conversation

PhilipMetzger
Copy link
Contributor

This adds the run command as described in the doc. The command is hidden for now, to allow in-tree development.

The next steps are:

  1. Move it to run.rs
  2. Find a good backend trait
  3. Implement the workers

Initial progress on #1869 and #405

Checklist

If applicable:

  • I have updated CHANGELOG.md
  • I have updated the documentation (README.md, docs/, demos/)
  • I have updated the config schema (src/config-schema.json)
  • I have added tests to cover my changes

@arxanas arxanas self-requested a review August 3, 2023 15:19
src/commands/mod.rs Outdated Show resolved Hide resolved
@arxanas arxanas removed their request for review August 3, 2023 23:10
src/commands/mod.rs Outdated Show resolved Hide resolved
src/commands/mod.rs Outdated Show resolved Hide resolved
This adds the `run` command as described in the doc.
The command is hidden for now, to allow in-tree development. 

The next steps are: 

1. Move it to `run.rs`
2. Find a good backend trait
3. Implement the workers

Initial progress on #1869 and #405
@PhilipMetzger PhilipMetzger merged commit 85b66e4 into main Aug 4, 2023
@PhilipMetzger PhilipMetzger deleted the push-okmtvoykpows branch August 4, 2023 15:55
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