New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom

Print JIT logs to Info, always #948

Merged

pvelesko merged 1 commit into main from print-jit

Oct 25, 2024

Collaborator

pvelesko commented Oct 25, 2024 •

edited

Loading

Always print the JIT log result. It appears to be always empty upon success but warning might be printed also might be vendor specific.


          Print JIT logs to Info, always

9fc1526

pvelesko merged commit c0e378c into main

34 checks passed

# for free to join this conversation on GitHub. Already have an account? # to comment

Labels

None yet