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

CI checks' workflow_dispatch optional RUST_LOG level #1496

Merged

jfldde merged 3 commits into nightly from ci-checks-set-log-leve

Nov 20, 2024

Contributor

jfldde commented Nov 20, 2024

Description

Let's one run workflow_dispatch check workflow with customizable RUST_LOG level applied to nextest and coverage

jfldde added 3 commits

November 20, 2024 09:24


          Accept extra RUST_LOG in workflow_dispatch

3fec3ac


          Simple parsing

e117b8d


          Explicitly set

753c879

auto-assign bot requested review from ercecan, eyusufatik, kpp, rakanalh and yaziciahmet

November 20, 2024 10:36

auto-assign bot assigned jfldde

eyusufatik approved these changes

View reviewed changes

jfldde merged commit 9fc29a0 into nightly

38 of 43 checks passed

jfldde deleted the ci-checks-set-log-leve branch

November 20, 2024 12:19

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

eyusufatik eyusufatik approved these changes

ercecan Awaiting requested review from ercecan

kpp Awaiting requested review from kpp

rakanalh Awaiting requested review from rakanalh

yaziciahmet Awaiting requested review from yaziciahmet

Labels

None yet