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

Add a way to report progress #56

Open
laeubi opened this issue Nov 23, 2022 · 1 comment
Open

Add a way to report progress #56

laeubi opened this issue Nov 23, 2022 · 1 comment

Comments

@laeubi
Copy link
Collaborator

laeubi commented Nov 23, 2022

In IDEs it is common to show the user some kind of progress of the actual task.

It would be good to have such thing as well for the build API, the idea is that one can acquire a Progress object for some kind of executable object (e.g. a Mojo) and then report progress of the current executing mojo.

@laeubi
Copy link
Collaborator Author

laeubi commented Dec 8, 2022

I just noticed that there is even a better way:

Because a mojo execution can be observed the implementer can use this to automatically get the Mojo requesting progress and thus no passing of the executable object is required at all!

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

No branches or pull requests

1 participant