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.

Sign up for GitHub

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

Jump to bottom

Allow env::log to be captured and exposed via ExecutorEnv #1028

Closed
flaub opened this issue Oct 24, 2023 · 0 comments · Fixed by #1115
Closed

Allow env::log to be captured and exposed via ExecutorEnv #1028

flaub opened this issue Oct 24, 2023 · 0 comments · Fixed by #1115
Assignees
@capossele
Labels
enhancement New feature or request
Milestone
0.19.1

Comments

@flaub
Copy link
Member

flaub commented Oct 24, 2023

No description provided.

@flaub flaub added the enhancement New feature or request label Oct 24, 2023
@flaub flaub added this to the 0.19 milestone Oct 24, 2023
@flaub flaub self-assigned this Oct 24, 2023
@flaub flaub mentioned this issue Nov 2, 2023
Closed
@flaub flaub assigned SchmErik and capossele and unassigned flaub and SchmErik Nov 2, 2023
@flaub flaub modified the milestones: 0.19.0, 0.19.1 Nov 3, 2023
@SchmErik SchmErik mentioned this issue Nov 7, 2023
Merged
flaub added a commit that referenced this issue Nov 7, 2023
@SchmErik @flaub
sys_log: write to stdout (#1115)
cd1b914 
Previously, sys_log printed the message via println!. This change writes
sys_log to whatever stdout is pointing to so that the output can be
captured in the same manner in as how user specifies stdout to be
handled.

Closes: #1028

---------

Co-authored-by: Frank Laub <flaub@risc0.com>
flaub added a commit that referenced this issue Nov 8, 2023
@SchmErik @flaub
sys_log: write to stdout (#1115)
6e0d09c 
Previously, sys_log printed the message via println!. This change writes
sys_log to whatever stdout is pointing to so that the output can be
captured in the same manner in as how user specifies stdout to be
handled.

Closes: #1028

---------

Co-authored-by: Frank Laub <flaub@risc0.com>
flaub added a commit that referenced this issue Nov 8, 2023
@SchmErik @flaub
sys_log: write to stdout (#1115)
b97f910 
Previously, sys_log printed the message via println!. This change writes
sys_log to whatever stdout is pointing to so that the output can be
captured in the same manner in as how user specifies stdout to be
handled.

Closes: #1028

---------

Co-authored-by: Frank Laub <flaub@risc0.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@capossele capossele

Labels
enhancement New feature or request
Projects
None yet
Milestone
0.19.1
Development

Successfully merging a pull request may close this issue.

sys_log: write to stdout risc0/risc0
3 participants
@flaub @SchmErik @capossele